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

References

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  201     const llvm::APSInt &newTo = (from.isMinSignedValue() ?
  202                                  BV.getMaxValue(from) :
  203                                  BV.getValue(- from));
  208       assert(!from.isMinSignedValue() && "Ranges should not overlap");
  216     if (from.isMinSignedValue()) {
  217       newRanges = F.add(newRanges, Range(BV.getMinValue(from),
  218                                          BV.getMinValue(from)));