From 2f340d6cb66ebeea59f27a5c576bc14bfdebad5d Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 5 Mar 2009 16:31:07 +0000 Subject: BasicStore: - Store bindings using a MemRegion -> SVal binding instead of VarDecl -> SVal binding. This mirrors some of the idea of RegionStore, but is far simpler and not nearly as functional. This leads to some code simplification and some potential for some minor precision hacks. Along the way... - constify the use of MemRegion* in a few places - add operator<<(llvm::raw_ostream, const MemRegion*) llvm-svn: 66163 --- clang/lib/Analysis/BugReporter.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'clang/lib/Analysis/BugReporter.cpp') diff --git a/clang/lib/Analysis/BugReporter.cpp b/clang/lib/Analysis/BugReporter.cpp index e1265ded171..88887b1d6c7 100644 --- a/clang/lib/Analysis/BugReporter.cpp +++ b/clang/lib/Analysis/BugReporter.cpp @@ -419,7 +419,8 @@ public: PathDiagnostic& pd, BugReporter& br) : Sym(sym), PrevSt(prevst), S(s), VMgr(vmgr), Pred(pred), PD(pd), BR(br) {} - bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, SVal V) { + bool HandleBinding(StoreManager& SMgr, Store store, + const MemRegion* R, SVal V) { SymbolRef ScanSym; @@ -521,7 +522,8 @@ public: PathDiagnostic& pd) : N(n), S(s), BR(br), PD(pd) {} - bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, SVal V) { + bool HandleBinding(StoreManager& SMgr, Store store, + const MemRegion* R, SVal V) { SymbolRef ScanSym; if (loc::SymbolVal* SV = dyn_cast(&V)) -- cgit v1.2.3