commit bdfcacbe8f6631360243c0ff8429c06f77a1aa94
author Ted Kremenek <kremenek@apple.com> Sat Feb 06 04:04:46 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Sat Feb 06 04:04:46 2010 +0000
tree 1f0f88ada9078d4345599097575c64ee9c73e9c8
parent 30fe9ecac23bc5f9b6ec0af088c0cea94f167687

Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL.

llvm-svn: 95479

clang/lib/Checker/RegionStore.cpp

diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp
index 2e212db..36022d5 100644
--- a/clang/lib/Checker/RegionStore.cpp
+++ b/clang/lib/Checker/RegionStore.cpp
@@ -1407,7 +1407,9 @@
 
     if (T->isIntegerType())
       return ValMgr.makeIntVal(0, T);
-    
+    if (T->isPointerType())
+      return ValMgr.makeNull();
+
     return UnknownVal();    
   }