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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1610 ProgramStateRef StateSizeIsZero, StateSizeNotZero; local
1611 std::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
1615 bool SizeIsZero = StateSizeIsZero && !StateSizeNotZero;

Completed in 35 milliseconds