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 | 8bef8238181a30e52dea380789a7e2d760eac532 (patch) | |
| tree | d92cc6ba35a038b0429fb2c5dffb37eea6599337 /lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | |
| parent | bbdfad581fa300fa0d162d968ec14de3c95fc760 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@149081 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp index 9f2f5151bf..9740cde011 100644 --- a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp @@ -25,7 +25,7 @@ namespace { class DivZeroChecker : public Checker< check::PreStmt<BinaryOperator> > { mutable llvm::OwningPtr<BuiltinBug> BT; void reportBug(const char *Msg, - const ProgramState *StateZero, + ProgramStateRef StateZero, CheckerContext &C) const ; public: void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; @@ -33,7 +33,7 @@ public: } // end anonymous namespace void DivZeroChecker::reportBug(const char *Msg, - const ProgramState *StateZero, + ProgramStateRef StateZero, CheckerContext &C) const { if (ExplodedNode *N = C.generateSink(StateZero)) { if (!BT) @@ -72,7 +72,7 @@ void DivZeroChecker::checkPreStmt(const BinaryOperator *B, // Check for divide by zero. ConstraintManager &CM = C.getConstraintManager(); - const ProgramState *stateNotZero, *stateZero; + ProgramStateRef stateNotZero, stateZero; llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV); if (!stateNotZero) { |