summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2012-01-26 21:29:00 +0000
committerTed Kremenek <kremenek@apple.com>2012-01-26 21:29:00 +0000
commit49b1e38e4bee0f0c6f8b49e1a62d5284084e09e7 (patch)
tree26e7a601a36b15a97f523c0e51083521e817d29c /clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp
parent6efba4fc97f4509ab1b48076e030e8fdc5434d33 (diff)
downloadbcm5719-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.cpp10
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 {
OpenPOWER on IntegriCloud