diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-01-31 00:57:15 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-01-31 00:57:15 +0000 |
| commit | 23111dcd66ee242bb5caf1ecab01bd930ee42c4c (patch) | |
| tree | 71e57de410a47583131471e3d151bfca03c4553d /include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h | |
| parent | 3128fa1a5db26b288521e2b8136c6f795d34bc4f (diff) | |
Convert more uses of 'const ProgramState *' to 'ProgramStateRef' (and related cleanups).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@149310 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h index b16f049441..631858dd7c 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h @@ -33,10 +33,10 @@ public: DefinedSVal Cond, bool Assumption) = 0; - std::pair<ProgramStateRef , ProgramStateRef > + std::pair<ProgramStateRef, ProgramStateRef > assumeDual(ProgramStateRef state, DefinedSVal Cond) { - std::pair<ProgramStateRef , ProgramStateRef > res = + std::pair<ProgramStateRef, ProgramStateRef > res = std::make_pair(assume(state, Cond, true), assume(state, Cond, false)); assert(!(!res.first && !res.second) && "System is over constrained."); |