diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-16 19:28:16 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-16 19:28:16 +0000 |
| commit | 7e7070b59441bd54f7da0dde02ddee1f8998c23b (patch) | |
| tree | b62ebaaec8bab6f142ada49d87b7ccfb5b362298 | |
| parent | deac51943a4b7f6b1d2628fe03943d76252a6939 (diff) | |
| download | llvm-7e7070b59441bd54f7da0dde02ddee1f8998c23b.zip llvm-7e7070b59441bd54f7da0dde02ddee1f8998c23b.tar.gz llvm-7e7070b59441bd54f7da0dde02ddee1f8998c23b.tar.bz2 | |
Fixed bug where GRConstants::AddBindings() did not check for values
that were "not a constant."
llvm-svn: 46085
| -rw-r--r-- | clang/Analysis/GRConstants.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/Analysis/GRConstants.cpp b/clang/Analysis/GRConstants.cpp index 56c4504..3eff0e0 100644 --- a/clang/Analysis/GRConstants.cpp +++ b/clang/Analysis/GRConstants.cpp @@ -225,7 +225,8 @@ ExprVariantTy GRConstants::GetBinding(Expr* E) { } void GRConstants::AddBinding(Expr* E, ExprVariantTy V, bool isBlkLvl) { - CurrentState = StateMgr.Add(CurrentState, DSPtr(E,isBlkLvl), V.getVal()); + if (V) + CurrentState = StateMgr.Add(CurrentState, DSPtr(E,isBlkLvl), V.getVal()); } void GRConstants::SwitchNodeSets() { |