From fde2efe96e00c5d03e7caaf0c1e67d7b011d9d0c Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 15 Jul 2009 22:09:25 +0000 Subject: Fix by having BasicStoreManager model values for 'static' global variables. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75844 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicStore.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lib/Analysis/BasicStore.cpp') diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index f1f051f244..7aa63c1c63 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -521,10 +521,6 @@ Store BasicStoreManager::getInitialStore() { } } else if (VarDecl* VD = dyn_cast(ND)) { - // Punt on static variables for now. - if (VD->getStorageClass() == VarDecl::Static) - continue; - // Only handle simple types that we can symbolicate. if (!SymbolManager::canSymbolicate(VD->getType())) continue; -- cgit v1.2.3-18-g5258