commit ab2fa2a76c30055c324db50ad7f7ca16aaa4105b
author Ted Kremenek <kremenek@apple.com> Thu Apr 10 23:44:06 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Apr 10 23:44:06 2008 +0000
tree a22c21f09abcbd78f51e817073233d3f666f0c27
parent 751c61790a689820aa64ddfb4069f1bfc6a88952

Fixed some logic errors in the CF ref count checker; we now can detect simple
use-after-release errors.  Added test case.


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

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 6d42177..3211da2 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -678,6 +678,8 @@
       
       unsigned size = Dst.size();
       
+      SaveAndRestore<bool> OldSink(Builder->BuildSinks);
+      
       EvalCall(Dst, CE, cast<LVal>(L), *DI);
       
       if (!Builder->BuildSinks && Dst.size() == size)