Fixed bug where GRConstants::AddBindings() did not check for values

that were "not a constant."

llvm-svn: 46085
This commit is contained in:
Ted Kremenek 2008-01-16 19:28:16 +00:00
parent deac51943a
commit 7e7070b594
1 changed files with 2 additions and 1 deletions

View File

@ -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() {