Searched defs:StateSizeIsZero (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;
1640 if (ProgramStateRef stateFree = FreeMemAux(C, CE, StateSizeIsZero, 0,

Completed in 370 milliseconds