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

References

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  492     return V->Intersect(BV, F, R->Negate(BV, F));
  492     return V->Intersect(BV, F, R->Negate(BV, F));
  496     return R->Negate(BV, F);
  502   RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T));
  502   RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T));
  506     return assumeNonZero(BV, F, Sym, Result);
  510     return applyBitwiseConstraints(BV, F, Result, SIE);