From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 20 Mar 2014 18:47:47 +0000 (+0000)
Subject: [analyzer] Fix a bad bug in reversePropagateInterstingSymbols() where only one subexp... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=08abb12b086c1141d8e59cfea04041933ee21666;p=clang

[analyzer] Fix a bad bug in reversePropagateInterstingSymbols() where only one subexpression of BinaryOperator would be explored.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204374 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 1784b4fc58..a08a2269c9 100644
--- a/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -1263,8 +1263,8 @@ static void reversePropagateIntererstingSymbols(BugReport &R,
           SVal ChildV = State->getSVal(child, LCtx);
           R.markInteresting(ChildV);
         }
-        break;
       }
+      break;
     }
   }