Searched refs:SizePtrSval (Results 1 – 2 of 2) sorted by relevance
389 SVal SizePtrSval = Call.getArgSVal(1); in CheckGetDelimOrGetline() local390 State = EnsurePtrNotNull(SizePtrSval, Call.getArgExpr(1), C, State, "Size"); in CheckGetDelimOrGetline()401 State = EnsureGetdelimBufferAndSizeCorrect(LinePtrPtrSVal, SizePtrSval, in CheckGetDelimOrGetline()
1476 SVal SizePtrSval = Call.getArgSVal(1); in evalGetdelim() local1477 auto NVal = getPointeeVal(SizePtrSval, State); in evalGetdelim()