commit 2e561dd4911b3d092f50a6cdcf5a89512249c8dd
author Ted Kremenek <kremenek@apple.com> Wed Jan 28 22:27:59 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Jan 28 22:27:59 2009 +0000
tree 8458238774e62f0d3dd709efc02cd9db47dc3d6e
parent f50e60b23a6178bb79ab3faa2e7992b29b1026c6

Remove method 'AddNE' from the public interface of ConstraintManager.

llvm-svn: 63249

clang/lib/Analysis/CFRefCount.cpp

diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp
index 2d5cb5f..6f1b103 100644
--- a/clang/lib/Analysis/CFRefCount.cpp
+++ b/clang/lib/Analysis/CFRefCount.cpp
@@ -1678,8 +1678,11 @@
 #endif 
 
       // FIXME: Add a flag to the checker where allocations are allowed to fail.      
-      if (RE.getKind() == RetEffect::OwnedAllocatedSymbol)
-        state = state.AddNE(Sym, Eng.getBasicVals().getZeroWithPtrWidth());
+      if (RE.getKind() == RetEffect::OwnedAllocatedSymbol) {
+        bool isFeasible;
+        state = state.Assume(loc::SymbolVal(Sym), true, isFeasible);
+        assert(isFeasible && "Cannot assume fresh symbol is non-null.");        
+      }
       
       break;
     }