diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-21 22:07:00 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-21 22:07:00 +0000 |
| commit | fc1d4bdc4f93a071c9d2343270cd41b65890963a (patch) | |
| tree | d0e64d8236da3c80a9a8021d5aeee734590eb392 /clang/lib | |
| parent | 7c015e102075134a203ed9d2ae8b4c437edbe321 (diff) | |
| download | bcm5719-llvm-fc1d4bdc4f93a071c9d2343270cd41b65890963a.tar.gz bcm5719-llvm-fc1d4bdc4f93a071c9d2343270cd41b65890963a.zip | |
[analyzer] Bind UnknownVal to InitListExpr for unsupported types
(ex: float).
llvm-svn: 157211
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 8a02b2ca961..2e3e9f51e7d 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -568,8 +568,10 @@ void ExprEngine::VisitInitListExpr(const InitListExpr *IE, state->getSVal(initEx, LCtx))); return; } - - llvm_unreachable("unprocessed InitListExpr type"); + + assert(IE->getNumInits() == 1); + B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, UnknownVal())); + return; } void ExprEngine::VisitGuardedExpr(const Expr *Ex, |
