reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 2397   if (!State)
 2414     svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
 2428     svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),
 2432   std::tie(StatePtrIsNull, StatePtrNotNull) = State->assume(PtrEQ);
 2434   std::tie(StateSizeIsZero, StateSizeNotZero) = State->assume(SizeZero);
 2449     return State;
 2473           FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocated)) {