================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
