From 08abb12b086c1141d8e59cfea04041933ee21666 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 20 Mar 2014 18:47:47 +0000
Subject: [PATCH] [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
---
lib/StaticAnalyzer/Core/BugReporter.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 1784b4fc582..a08a2269c9d 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;
}
}
--
GitLab