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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h

  213       return F.remove(B, K);

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h

  206         CZ = CZFactory.remove(CZ, *I);

tools/clang/lib/Analysis/LiveVariables.cpp

  266     val.liveStmts = LV.SSetFact.remove(val.liveStmts, S);
  387           val.liveBindings = LV.BSetFact.remove(val.liveBindings, BD);
  391           val.liveDecls = LV.DSetFact.remove(val.liveDecls, VD);
  426         val.liveBindings = LV.BSetFact.remove(val.liveBindings, BD);
  429         val.liveDecls = LV.DSetFact.remove(val.liveDecls, VD);
  448     val.liveDecls = LV.DSetFact.remove(val.liveDecls, VD);

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

  530     NewUnreleased = F.remove(NewUnreleased, IvarSymbol);
  872       NewUnreleased = F.remove(NewUnreleased, Sym);

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

  249           CleanedUpSet = F.remove(CleanedUpSet, Symbol);

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

  195       DivZeroes = F.remove(DivZeroes, ZS);

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

  211         F.add(F.remove(newRanges, *newRanges.begin()), Range(newFrom, newTo));

unittests/ADT/ImmutableSetTest.cpp

  122   ImmutableSet<int> S4 = f.remove(S3, 3);