Lines Matching refs:NonLoc

668   NonLoc getZeroVal(const CallEvent &Call) {  in getZeroVal()
669 return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>(); in getZeroVal()
679 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in makeAndBindRetVal()
701 BinaryOperator::Opcode Op, NonLoc LHS, in assumeBinOpNN()
702 NonLoc RHS) { in assumeBinOpNN()
838 NonLoc Index = SVB.makeArrayIndex(Idx); in escapeByStartIndexAndCount()
1049 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB, in getStartIndex()
1070 const CallEvent &Call, NonLoc SizeVal, in tryToInvalidateFReadBufferByElements()
1071 NonLoc NMembVal) { in tryToInvalidateFReadBufferByElements()
1118 std::optional<NonLoc> SizeVal = Call.getArgSVal(1).getAs<NonLoc>(); in evalFreadFwrite()
1121 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite()
1164 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFreadFwrite()
1199 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFgetx()
1254 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalFputx()
1264 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFputx()
1298 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFprintf()
1343 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFscanf()
1385 std::optional<NonLoc> PutVal = Call.getArgSVal(0).getAs<NonLoc>(); in evalUngetc()
1424 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalGetdelim()
1439 if (NVal && isa<NonLoc>(*NVal)) { in evalGetdelim()
1441 NVal->castAs<NonLoc>(), RetVal); in evalGetdelim()
1565 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFtell()
1733 NonLoc RetVal = makeRetVal(C, E.CE).castAs<NonLoc>(); in evalFileno()