[clang] [clang] Fix for Assertion `(T->hasSignedIntegerRepresentation() || T->isSignedFixedPointType()) && "Unexpected signed integer or fixed point type"' failed. (PR #195945)

[via cfe-commits]

================
@@ -17331,13 +17314,20 @@ ExprResult Sema::BuildVAArgExpr(SourceLocation BuiltinLoc,
       if (!PromoteType.isNull() && !UnderlyingType->isBooleanType() &&
           PromoteType->isUnsignedIntegerType() !=
               UnderlyingType->isUnsignedIntegerType()) {
-        UnderlyingType =
-            UnderlyingType->isUnsignedIntegerType()
-                ? Context.getCorrespondingSignedType(UnderlyingType)
-                : Context.getCorrespondingUnsignedType(UnderlyingType);
-        if (Context.typesAreCompatible(PromoteType, UnderlyingType,
-                                       /*CompareUnqualified*/ true))
-          PromoteType = QualType();
+
+        // Because char16_t and char32_t have no corresponding signed type,
+        // calling getCorrespondingSignedType on them would assert. Guard
+        // against this.
+        const auto *BT = UnderlyingType->getAs<BuiltinType>();
+        if (!BT || (BT->getKind() != BuiltinType::Char16 &&
+                    BT->getKind() != BuiltinType::Char32)) {
----------------
PrabbyDD wrote:

Also what do you think getCorrespondingSignedType(char16_t) should return? A short or an int?

https://github.com/llvm/llvm-project/pull/195945