Searched refs:NMembVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 1071 NonLoc NMembVal) { in tryToInvalidateFReadBufferByElements() argument
1085 std::optional<int64_t> CountVal = getKnownValue(State, NMembVal); in tryToInvalidateFReadBufferByElements()
1121 std::optional<NonLoc> NMembVal = Call.getArgSVal(2).getAs<NonLoc>(); in evalFreadFwrite() local
1122 if (!NMembVal) in evalFreadFwrite()
1131 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
1144 State, C, Call, *SizeVal, *NMembVal); in evalFreadFwrite()
1153 State->BindExpr(E.CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
1167 StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal); in evalFreadFwrite()
|