diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-17 05:57:07 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-17 05:57:07 +0000 |
commit | 1c96b24285d05c0eac455ae96d7c9ff43d42bc96 (patch) | |
tree | 4d2ab34daff9c66fe996657201955fb24de6cd84 /include/clang/Analysis/PathSensitive/ConstraintManager.h | |
parent | ef8b28e9459e729b7bd8c826d204621b039611fa (diff) |
This patch did the following renaming. There should be no functional changes.
RVal => SVal
LVal => Loc
NonLVal => NonLoc
lval => loc
nonlval => nonloc
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/ConstraintManager.h')
-rw-r--r-- | include/clang/Analysis/PathSensitive/ConstraintManager.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/clang/Analysis/PathSensitive/ConstraintManager.h b/include/clang/Analysis/PathSensitive/ConstraintManager.h index 25c9260a72..71ae247f57 100644 --- a/include/clang/Analysis/PathSensitive/ConstraintManager.h +++ b/include/clang/Analysis/PathSensitive/ConstraintManager.h @@ -25,14 +25,14 @@ namespace clang { class GRState; class GRStateManager; -class RVal; +class SVal; class SymbolID; class ConstraintManager { public: virtual ~ConstraintManager(); - virtual const GRState* Assume(const GRState* St, RVal Cond, bool Assumption, - bool& isFeasible) = 0; + virtual const GRState* Assume(const GRState* St, SVal Cond, + bool Assumption, bool& isFeasible) = 0; virtual const GRState* AddNE(const GRState* St, SymbolID sym, const llvm::APSInt& V) = 0; |