diff options
author | Ted Kremenek <kremenek@apple.com> | 2012-01-26 21:29:00 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2012-01-26 21:29:00 +0000 |
commit | 49b1e38e4bee0f0c6f8b49e1a62d5284084e09e7 (patch) | |
tree | 26e7a601a36b15a97f523c0e51083521e817d29c /clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp | |
parent | 6efba4fc97f4509ab1b48076e030e8fdc5434d33 (diff) | |
download | bcm5719-llvm-49b1e38e4bee0f0c6f8b49e1a62d5284084e09e7.tar.gz bcm5719-llvm-49b1e38e4bee0f0c6f8b49e1a62d5284084e09e7.zip |
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
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp')
-rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
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<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions) const { |