diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-30 05:33:54 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-30 05:33:54 +0000 |
| commit | a15cfd4db99ee965a2d493cd225e46328a8a5b4b (patch) | |
| tree | 573002fd6519096a5e6306203838353d943e30d4 /clang/lib/Analysis/Environment.cpp | |
| parent | 9655394b6e6842c9c562e35eb32931ec358e47eb (diff) | |
| download | bcm5719-llvm-a15cfd4db99ee965a2d493cd225e46328a8a5b4b.tar.gz bcm5719-llvm-a15cfd4db99ee965a2d493cd225e46328a8a5b4b.zip | |
Rename:
- SetSVal(GRState*, Loc, SVal) => BindLoc
- SetSVal(GRState*, Expr*, SVal) => BindExpr
llvm-svn: 58421
Diffstat (limited to 'clang/lib/Analysis/Environment.cpp')
| -rw-r--r-- | clang/lib/Analysis/Environment.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/Environment.cpp b/clang/lib/Analysis/Environment.cpp index b5e5e2189bb..0effe3ae58f 100644 --- a/clang/lib/Analysis/Environment.cpp +++ b/clang/lib/Analysis/Environment.cpp @@ -89,8 +89,8 @@ SVal Environment::GetBlkExprSVal(Expr* E, BasicValueFactory& BasicVals) const { } } -Environment EnvironmentManager::SetSVal(const Environment& Env, Expr* E, SVal V, - bool isBlkExpr, bool Invalidate) { +Environment EnvironmentManager::BindExpr(const Environment& Env, Expr* E,SVal V, + bool isBlkExpr, bool Invalidate) { assert (E); if (V.isUnknown()) { |
