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

References

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

  209   if (!PVD || State->contains<RefCountedParameters>(PVD))

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

 1950   if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym))
 2855   else if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) {

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

   92   bool AlreadyCalled = State->contains<CalledSuperDealloc>(ReceiverSymbol);
  137   if (!State->contains<CalledSuperDealloc>(BaseSym))
  208     if (State->contains<CalledSuperDealloc>(Sym)) {
  255       Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol);
  257       Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>(

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

  162   return C.getState()->contains<DivZeroMap>(ZS);

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp

  257   if (State->contains<AnalyzedRegions>(FR))
  261     if (State->contains<AnalyzedRegions>(PointeeR)) {

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

  146       if (C.getState()->contains<InitializedVALists>(VAList))
  198   if (!State->contains<InitializedVALists>(VAList))
  233     if (!State->contains<InitializedVALists>(Reg)) {
  328       } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) {
  329         if (State->contains<InitializedVALists>(VAList)) {
  343   if (State->contains<InitializedVALists>(VAList)) {
  368   if (!C.getState()->contains<InitializedVALists>(VAList)) {
  388   if (State->contains<InitializedVALists>(Reg) &&
  389       !StatePrev->contains<InitializedVALists>(Reg))
  391   else if (!State->contains<InitializedVALists>(Reg) &&
  392            StatePrev->contains<InitializedVALists>(Reg))

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  486   assert(State->contains<ObjectsUnderConstruction>(Key));
  504   assert(State->contains<ObjectsUnderConstruction>(Key));
  512   return State->contains<ObjectsUnderConstruction>(Key);
 2196   bool initHasRun = state->contains<InitializedGlobalsSet>(VD);