diff options
| author | Marcin Swiderski <marcin.sfider@gmail.com> | 2010-11-17 21:27:36 +0000 |
|---|---|---|
| committer | Marcin Swiderski <marcin.sfider@gmail.com> | 2010-11-17 21:27:36 +0000 |
| commit | 82c63bfa0c5130e0cf274c1974b6157ebefc04fe (patch) | |
| tree | f07e70e627cf84c0df0f29608ca76d818ea1bc8b /include/clang/Checker | |
| parent | 7f6458b7e265d1870f3bd5be2b49bc4d368446b3 (diff) | |
In EvalArguments allow for evaluation of first argument always as a lvalue. Will be used for CXXOperatorCallExpr that represents method call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119567 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Checker')
| -rw-r--r-- | include/clang/Checker/PathSensitive/GRExprEngine.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/clang/Checker/PathSensitive/GRExprEngine.h b/include/clang/Checker/PathSensitive/GRExprEngine.h index f9082f4214..998eceffc3 100644 --- a/include/clang/Checker/PathSensitive/GRExprEngine.h +++ b/include/clang/Checker/PathSensitive/GRExprEngine.h @@ -451,7 +451,8 @@ public: /// Evaluate arguments with a work list algorithm. void EvalArguments(ConstExprIterator AI, ConstExprIterator AE, const FunctionProtoType *FnType, - ExplodedNode *Pred, ExplodedNodeSet &Dst); + ExplodedNode *Pred, ExplodedNodeSet &Dst, + bool FstArgAsLValue = false); /// EvalEagerlyAssume - Given the nodes in 'Src', eagerly assume symbolic /// expressions of the form 'x != 0' and generate new nodes (stored in Dst) |