[analyzer] PR41753: Include complex integer types in NonLoc::isCompoundType

[Szelethus]

Summary

https://bugs.llvm.org/show_bug.cgi?id=41753

Caused a crash while fixing another bug, turned out to be easier to fix than expected :)

[NoQ]

Yup, this definitely deserves to be a compound value. Could you also add a test that tries to load real/imaginary parts of y and compares them to 1? Just to know whether it actually works or just pretends to.

include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

protected:
   explicit NonLoc(unsigned SubKind, const void *d)
       : DefinedSVal(d, false, SubKind) {}
 
 public:
   void dumpToStream(raw_ostream &Out) const;
 
   static bool isCompoundType(QualType T) {
     return T->isArrayType() || T->isRecordType() ||
-           T->isComplexType() || T->isVectorType();
+           T->isAnyComplexType() || T->isVectorType();
   }
 
 private:
   friend class SVal;
 
   static bool isKind(const SVal& V) {
     return V.getBaseKind() == NonLocKind;
   }

test/Analysis/cxx-uninitialized-object.cpp

 }
 
 struct ComplexUninitTest {
   ComplexUninitTest() {}
   __complex__ float x;
   __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;
 }