From f3e1e4d9a1b5dd9f05b3fbaa90520db57e7b7684 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. llvm-svn: 75844 --- clang/lib/Analysis/BasicStore.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'clang/lib/Analysis/BasicStore.cpp') diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index f1f051f244c..7aa63c1c630 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/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