wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[analyzer] dynamic_cast Simplify null value generation. 

As per Jordy's review. Creating a symbol here is more flexible; however
I could not come up with an example where it was needed. (What
constrains can be added on of the symbol constrained to 0?)

llvm-svn: 154542
This commit is contained in:
Anna Zaks 2012-04-11 22:20:07 +00:00
parent 1a3a247041
commit f36a6f54ae
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
View File

@ -310,14 +310,8 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
Bldr.generateNode(CastE, Pred, state, true);
continue;
} else {
// If the cast fails on a pointer, conjure symbol constrained to 0.
DefinedOrUnknownSVal NewSym = svalBuilder.getConjuredSymbolVal(NULL,
CastE, LCtx, resultType,
currentBuilderContext->getCurrentBlockCount());
DefinedOrUnknownSVal Constraint = svalBuilder.evalEQ(state,
NewSym, svalBuilder.makeZeroVal(resultType));
state = state->assume(Constraint, true);
state = state->BindExpr(CastE, LCtx, NewSym);
// If the cast fails on a pointer, bind to 0.
state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
}
} else {
// If we don't know if the cast succeeded, conjure a new symbol.