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

References

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

   79       Ranges = F.add(Ranges, range);

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

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

tools/clang/lib/Analysis/LiveVariables.cpp

  256   Set = F.add(Set, LookThroughStmt(S));
  266     val.liveStmts = LV.SSetFact.remove(val.liveStmts, S);
  291         val.liveDecls = LV.DSetFact.add(val.liveDecls,
  313       val.liveStmts = LV.SSetFact.add(val.liveStmts, child);
  387           val.liveBindings = LV.BSetFact.remove(val.liveBindings, BD);
  391           val.liveDecls = LV.DSetFact.remove(val.liveDecls, VD);
  406     val.liveDecls = LV.DSetFact.add(val.liveDecls, VD);
  415       val.liveBindings = LV.BSetFact.add(val.liveBindings, BD);
  418       val.liveDecls = LV.DSetFact.add(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);
  466     val.liveStmts = LV.SSetFact.add(val.liveStmts, subEx->IgnoreParens());
  514       val.liveDecls = DSetFact.add(val.liveDecls, Dtor->getVarDecl());

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

  277     RequiredReleases = *CurrSet;
  295     RequiredReleases = F.add(RequiredReleases, Symbol);
  530     NewUnreleased = F.remove(NewUnreleased, IvarSymbol);
  872       NewUnreleased = F.remove(NewUnreleased, Sym);

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

  215         Set = F.add(Set, Sym);
  249           CleanedUpSet = F.remove(CleanedUpSet, Symbol);

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

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

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

  114   Set = F.add(Set, {CastFromTy, CastToTy, ResultKind});

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

   48         newRanges =
   52         newRanges = F.add(newRanges, Range(BV.getValue(Lower), i->To()));
   55         newRanges = F.add(newRanges, Range(i->From(), BV.getValue(Upper)));
   58         newRanges = F.add(newRanges, *i);
  186       newRanges = F.add(newRanges, *j);
  210       newRanges =
  214       newRanges = F.add(newRanges, Range(newFrom, newTo));
  217       newRanges = F.add(newRanges, Range(BV.getMinValue(from),