[cfe-commits] r145830 - /cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Anna Zaks ganna at apple.com
Mon Dec 5 10:58:14 PST 2011


Author: zaks
Date: Mon Dec  5 12:58:14 2011
New Revision: 145830

URL: http://llvm.org/viewvc/llvm-project?rev=145830&view=rev
Log:
[analyzer] Minor improvements on RangeConstraint pretty-printing.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp?rev=145830&r1=145829&r2=145830&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp Mon Dec  5 12:58:14 2011
@@ -428,13 +428,15 @@
 
   ConstraintRangeTy Ranges = St->get<ConstraintRange>();
 
-  if (Ranges.isEmpty())
+  if (Ranges.isEmpty()) {
+    Out << nl << sep << "Ranges are empty." << nl;
     return;
+  }
 
-  Out << nl << sep << "ranges of symbol values:";
-
+  Out << nl << sep << "Ranges of symbol values:";
   for (ConstraintRangeTy::iterator I=Ranges.begin(), E=Ranges.end(); I!=E; ++I){
     Out << nl << ' ' << I.getKey() << " : ";
     I.getData().print(Out);
   }
+  Out << nl;
 }





More information about the cfe-commits mailing list