From 49b1e38e4bee0f0c6f8b49e1a62d5284084e09e7 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Thu, 26 Jan 2012 21:29:00 +0000 Subject: Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. At this point this is largely cosmetic, but it opens the door to replace ProgramStateRef with a smart pointer that more eagerly acts in the role of reclaiming unused ProgramState objects. llvm-svn: 149081 --- clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp') diff --git a/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp b/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp index b565ec96b57..cd31ae38bea 100644 --- a/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp @@ -173,7 +173,7 @@ public: /// performed on the symbols of interest and change the state accordingly. /// /// eval::Assume - const ProgramState *evalAssume(const ProgramState *State, + ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond, bool Assumption) const { return State; } @@ -182,12 +182,12 @@ public: /// dead and removed. /// /// check::LiveSymbols - void checkLiveSymbols(const ProgramState *State, SymbolReaper &SR) const {} + void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} /// check::RegionChanges - bool wantsRegionChangeUpdate(const ProgramState *St) const { return true; } - const ProgramState * - checkRegionChanges(const ProgramState *State, + bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; } + ProgramStateRef + checkRegionChanges(ProgramStateRef State, const StoreManager::InvalidatedSymbols *, ArrayRef ExplicitRegions, ArrayRef Regions) const { -- cgit v1.2.3