Searched defs:StatePtrNotNull (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;

Completed in 585 milliseconds