Thanks for running the tests! I'm surprised we have trouble with test4.cpp, but 
the others all do seem like known issues. I'd like to check with Anna or Ted as 
well before turning this on for real.

================
Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:903
@@ -902,3 +902,3 @@
   ExplodedNodeSet Tmp;
-  evalLoad(Tmp, U, Ex, Pred, state, loc);
+  evalLoad(Tmp, U, Ex, Pred, state, loc); // ZX kill bindings? (see 
"F:\users\zx\Work\AccessSoftek\Tasks+Bugs\Static 
Analyzer\-NewDeleteLeaks_FalsePositives-\19 leaks\tests\test1.cpp" )
   
----------------
This snuck in somehow?

http://reviews.llvm.org/D5313



_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to