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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h
  209       return F.add(B, K);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
   79       Ranges = F.add(Ranges, range);
   90       : ranges(F.add(F.getEmptySet(), Range(from, to))) {}
tools/clang/lib/Analysis/LiveVariables.cpp
  256   Set = F.add(Set, LookThroughStmt(S));
  291         val.liveDecls = LV.DSetFact.add(val.liveDecls,
  313       val.liveStmts = LV.SSetFact.add(val.liveStmts, child);
  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);
  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
  295     RequiredReleases = F.add(RequiredReleases, Symbol);
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp
  215         Set = F.add(Set, Sym);
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp
  114   Set = F.add(Set, {CastFromTy, CastToTy, ResultKind});
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
   49             F.add(newRanges, Range(BV.getValue(Lower), BV.getValue(Upper)));
   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);
  211         F.add(F.remove(newRanges, *newRanges.begin()), Range(newFrom, newTo));
  214       newRanges = F.add(newRanges, Range(newFrom, newTo));
  217       newRanges = F.add(newRanges, Range(BV.getMinValue(from),
unittests/ADT/ImmutableSetTest.cpp
   54   ImmutableSet<int> S2 = f.add(S, 3);
   64   ImmutableSet<int> S3 = f.add(S, 2);
   82   ImmutableSet<int> S2 = f.add(f.add(f.add(S, 3), 4), 5);
   82   ImmutableSet<int> S2 = f.add(f.add(f.add(S, 3), 4), 5);
   82   ImmutableSet<int> S2 = f.add(f.add(f.add(S, 3), 4), 5);
   83   ImmutableSet<int> S3 = f.add(f.add(f.add(S2, 9), 20), 43);
   83   ImmutableSet<int> S3 = f.add(f.add(f.add(S2, 9), 20), 43);
   83   ImmutableSet<int> S3 = f.add(f.add(f.add(S2, 9), 20), 43);
   84   ImmutableSet<int> S4 = f.add(S2, 9);
  120   ImmutableSet<int> S2 = f.add(f.add(S, 4), 5);
  120   ImmutableSet<int> S2 = f.add(f.add(S, 4), 5);
  121   ImmutableSet<int> S3 = f.add(S2, 3);
  143   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'a'), 'e'), 'i');
  143   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'a'), 'e'), 'i');
  143   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'a'), 'e'), 'i');
  144   ImmutableSet<char> S3 = f.add(f.add(S2, 'o'), 'u');
  144   ImmutableSet<char> S3 = f.add(f.add(S2, 'o'), 'u');
  155   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'b'), 'c'), 'd');
  155   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'b'), 'c'), 'd');
  155   ImmutableSet<char> S2 = f.add(f.add(f.add(S, 'b'), 'c'), 'd');
  156   ImmutableSet<char> S3 = f.add(f.add(f.add(S2, 'f'), 'g'), 'h');
  156   ImmutableSet<char> S3 = f.add(f.add(f.add(S2, 'f'), 'g'), 'h');
  156   ImmutableSet<char> S3 = f.add(f.add(f.add(S2, 'f'), 'g'), 'h');
  178   ImmutableSet<long> S2 = f.add(f.add(f.add(S, 0), 1), 2);
  178   ImmutableSet<long> S2 = f.add(f.add(f.add(S, 0), 1), 2);
  178   ImmutableSet<long> S2 = f.add(f.add(f.add(S, 0), 1), 2);
  179   ImmutableSet<long> S3 = f.add(f.add(f.add(S2, 3), 4), 5);
  179   ImmutableSet<long> S3 = f.add(f.add(f.add(S2, 3), 4), 5);
  179   ImmutableSet<long> S3 = f.add(f.add(f.add(S2, 3), 4), 5);