commit efdb7fe53b14a3689a0b0fb50e5f0551aa606d15
author Ted Kremenek <kremenek@apple.com> Tue May 10 22:10:35 2011 +0000
committer Ted Kremenek <kremenek@apple.com> Tue May 10 22:10:35 2011 +0000
tree e43cf9a7575177dce4cbf21877f4bc87baf6e484
parent a678098f246096c2dc1e392d2d25ad41daf55e1e

Fix crash in -Wuninitialized when using switch statments whose condition is a logical operation.

llvm-svn: 131158

clang/lib/Analysis/UninitializedValues.cpp

diff --git a/clang/lib/Analysis/UninitializedValues.cpp b/clang/lib/Analysis/UninitializedValues.cpp
index 88a2db7..fc0b904 100644
--- a/clang/lib/Analysis/UninitializedValues.cpp
+++ b/clang/lib/Analysis/UninitializedValues.cpp
@@ -214,11 +214,15 @@
   if (!b || !b->isLogicalOp())
     return 0;
   
-  if (block->pred_size() == 2 &&
-      ((block->succ_size() == 2 && block->getTerminatorCondition() == b) ||
-       block->size() == 1))
-    return b;
-  
+  if (block->pred_size() == 2) {
+    if (block->getTerminatorCondition() == b) {
+      if (block->succ_size() == 2)
+      return b;
+    }
+    else if (block->size() == 1)
+      return b;
+  }
+
   return 0;
 }