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

Ted Kremenek kremenek at apple.com
Thu Mar 20 11:47:47 PDT 2014


Author: kremenek
Date: Thu Mar 20 13:47:47 2014
New Revision: 204374

URL: http://llvm.org/viewvc/llvm-project?rev=204374&view=rev
Log:
[analyzer] Fix a bad bug in reversePropagateInterstingSymbols() where only one subexpression of BinaryOperator would be explored.

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

Modified: cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp?rev=204374&r1=204373&r2=204374&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Thu Mar 20 13:47:47 2014
@@ -1263,8 +1263,8 @@ static void reversePropagateInterersting
           SVal ChildV = State->getSVal(child, LCtx);
           R.markInteresting(ChildV);
         }
-        break;
       }
+      break;
     }
   }
   





More information about the cfe-commits mailing list