From 352c657f789d5633b07d56d76cf78fda05c31353 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Wed, 5 Sep 2012 22:31:58 +0000 Subject: [PATCH] [analyzer] Fix a crash PR13762. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163262 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/ExprEngineC.cpp | 3 ++- test/Analysis/complex-init-list.cpp | 6 ++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 test/Analysis/complex-init-list.cpp diff --git a/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 3bf16fa0da..00b2f4a6be 100644 --- a/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -567,7 +567,8 @@ void ExprEngine::VisitInitListExpr(const InitListExpr *IE, QualType T = getContext().getCanonicalType(IE->getType()); unsigned NumInitElements = IE->getNumInits(); - if (T->isArrayType() || T->isRecordType() || T->isVectorType()) { + if (T->isArrayType() || T->isRecordType() || T->isVectorType() || + T->isAnyComplexType()) { llvm::ImmutableList vals = getBasicVals().getEmptySValList(); // Handle base case where the initializer has no elements. diff --git a/test/Analysis/complex-init-list.cpp b/test/Analysis/complex-init-list.cpp new file mode 100644 index 0000000000..24244cb5ef --- /dev/null +++ b/test/Analysis/complex-init-list.cpp @@ -0,0 +1,6 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -verify %s + +// Do not crash on initialization to complex numbers. +void init_complex() { + _Complex float valid1 = { 0.0f, 0.0f }; +} -- 2.40.0