StaticAnalyzer/Core/RangeConstraintManager.cpp

342   const RangeSet *Ranges = State->get<ConstraintRange>(Sym);
345   if (!Ranges)
349   if (const llvm::APSInt *Value = Ranges->getConcreteValue())
357   if (Ranges->Intersect(BV, F, Zero, Zero).isEmpty())
574   ConstraintRangeTy Ranges = St->get<ConstraintRange>();
576   if (Ranges.isEmpty()) {
577     Out << nl << sep << "Ranges are empty." << nl;
581   Out << nl << sep << "Ranges of symbol values:";
582   for (ConstraintRangeTy::iterator I=Ranges.begin(), E=Ranges.end(); I!=E; ++I){