diff options
Diffstat (limited to 'clang/Analysis/ValueState.h')
| -rw-r--r-- | clang/Analysis/ValueState.h | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/clang/Analysis/ValueState.h b/clang/Analysis/ValueState.h index 424b832258e..3e0012287b6 100644 --- a/clang/Analysis/ValueState.h +++ b/clang/Analysis/ValueState.h @@ -60,11 +60,11 @@ private: void operator=(const ValueStateImpl& R) const; public: - vstate::ExprBindingsTy SubExprBindings; - vstate::ExprBindingsTy BlockExprBindings; - vstate::VarBindingsTy VarBindings; - vstate::ConstNotEqTy ConstNotEq; - vstate::ConstEqTy ConstEq; + vstate::ExprBindingsTy SubExprBindings; + vstate::ExprBindingsTy BlockExprBindings; + vstate::VarBindingsTy VarBindings; + vstate::ConstNotEqTy ConstNotEq; + vstate::ConstEqTy ConstEq; /// This ctor is used when creating the first ValueStateImpl object. ValueStateImpl(vstate::ExprBindingsTy EB, vstate::VarBindingsTy VB, @@ -258,10 +258,12 @@ public: ValueState SetRVal(ValueState St, Expr* E, bool isBlkExpr, RVal V); ValueState SetRVal(ValueState St, LVal LV, RVal V); - RVal GetRVal(ValueState St, Expr* E, bool* hasVal = NULL); - RVal GetRVal(ValueState St, const LVal& LV, QualType T = QualType()); + RVal GetRVal(ValueState St, Expr* E); + RVal GetRVal(ValueState St, const LVal& LV, QualType T = QualType()); RVal GetLVal(ValueState St, Expr* E); + RVal GetBlkExprRVal(ValueState St, Expr* Ex); + ValueState getPersistentState(const ValueStateImpl& Impl); ValueState AddEQ(ValueState St, SymbolID sym, const llvm::APSInt& V); |
