Searched refs:StateNotNull (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 942 ProgramStateRef StateNotNull, StateNull; in evalFopen() local
943 std::tie(StateNotNull, StateNull) = in evalFopen()
946 StateNotNull = in evalFopen()
947 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
951 StateNotNull = assumeNoAliasingWithStdStreams(StateNotNull, RetVal, C); in evalFopen()
953 C.addTransition(StateNotNull, in evalFopen()
1641 ProgramStateRef StateNotNull, StateNull; in preFflush() local
1642 std::tie(StateNotNull, StateNull) = in preFflush()
1644 if (StateNotNull && !StateNull) in preFflush()
1645 ensureStreamOpened(StreamVal, C, StateNotNull); in preFflush()
[all …]
|