Searched defs:StatePtrIsNull (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1608 ProgramStateRef StatePtrIsNull, StatePtrNotNull; local
1609 std::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
1614 bool PrtIsNull = StatePtrIsNull && !StatePtrNotNull;
1621 UndefinedVal(), StatePtrIsNull);

Completed in 33 milliseconds