Index: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h =================================================================== --- include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h +++ include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h @@ -303,7 +303,7 @@ static bool isCompoundType(QualType T) { return T->isArrayType() || T->isRecordType() || - T->isComplexType() || T->isVectorType(); + T->isAnyComplexType() || T->isVectorType(); } private: Index: test/Analysis/cxx-uninitialized-object.cpp =================================================================== --- test/Analysis/cxx-uninitialized-object.cpp +++ test/Analysis/cxx-uninitialized-object.cpp @@ -1167,20 +1167,17 @@ __complex__ int y; }; -// FIXME: Currently this causes (unrelated to this checker) an assertion -// failure. -// -//struct ComplexInitTest { -// ComplexInitTest() { -// x = {1.0f, 1.0f}; -// y = {1, 1}; -// } -// __complex__ float x; -// __complex__ int y; -//}; +struct ComplexInitTest { + ComplexInitTest() { + x = {1.0f, 1.0f}; + y = {1, 1}; + } + __complex__ float x; + __complex__ int y; +}; void fComplexTest() { -// ComplexInitTest x; + ComplexInitTest x; // TODO: we should emit a warning for x2.x and x2.y. ComplexUninitTest x2;