[cfe-commits] r82297 - /cfe/trunk/lib/Frontend/AnalysisConsumer.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Sep 18 17:29:35 2009
New Revision: 82297

URL: http://llvm.org/viewvc/llvm-project?rev=82297&view=rev
Log:
Fix regression introduced by r82198 that caused functions/methods with invalid CFGs to get analyzed.

Modified:
    cfe/trunk/lib/Frontend/AnalysisConsumer.cpp

Modified: cfe/trunk/lib/Frontend/AnalysisConsumer.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Frontend/AnalysisConsumer.cpp?rev=82297&r1=82296&r2=82297&view=diff

==============================================================================
--- cfe/trunk/lib/Frontend/AnalysisConsumer.cpp (original)
+++ cfe/trunk/lib/Frontend/AnalysisConsumer.cpp Fri Sep 18 17:29:35 2009
@@ -301,7 +301,12 @@
   // Display progress.
   mgr.DisplayFunction(D);
 
-  // Construct the analysis engine.
+  // Construct the analysis engine.  We first query for the LiveVariables
+  // information to see if the CFG is valid.
+  // FIXME: Inter-procedural analysis will need to handle invalid CFGs.
+  if (!mgr.getLiveVariables(D))
+    return;  
+  
   GRExprEngine Eng(mgr);
 
   Eng.setTransferFunctions(tf);