From c9747dd60f13c8e47c0ea490ef7e2b74cf93ae20 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 3 Mar 2009 22:06:47 +0000
Subject: Rework use of loc::SymbolVal in the retain/release checker to use the
 new method SVal::getAsLocSymbol(). This simplifies the code and allows the
 retain/release checker to (I believe) also correctly reason about location
 symbols wrapped in SymbolicRegions.

Along the way I cleaned up SymbolRef a little, disallowing implicit casts to
'unsigned'.

llvm-svn: 65972
---
 clang/lib/Analysis/BugReporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clang/lib/Analysis/BugReporter.cpp')

diff --git a/clang/lib/Analysis/BugReporter.cpp b/clang/lib/Analysis/BugReporter.cpp
index 6f6b3c15663..e1265ded171 100644
--- a/clang/lib/Analysis/BugReporter.cpp
+++ b/clang/lib/Analysis/BugReporter.cpp
@@ -531,7 +531,7 @@ public:
     else
       return true;
   
-    assert (ScanSym.isInitialized());
+    assert (ScanSym.isValid());
   
     if (!BR.isNotable(ScanSym))
       return true;
-- 
cgit v1.2.3