================
@@ -14585,11 +14585,18 @@ void Sema::CheckAddressOfPackedMember(Expr *rhs) {
_2, _3, _4));
}
+static ExprResult UsualUnaryConversionsNoPromoteInt(Sema &S, Expr *E) {
+ // Don't promote integer types
+ if (QualType Ty = E->getType();
S.getASTContext().isPromotableIntegerType(Ty))
+ return S.DefaultFunctionArrayLvalueConversion(E);
+ return S.UsualUnaryConversions(E);
----------------
efriedma-quic wrote:
The "usual unary conversions" is not a term used by any specification, so there
isn't any real meaning attached to it. I think I'd prefer not to use a
boolean, though, because operation you want here is different in a pretty
subtle way.
I missed that this also impacts bitfields.
Whether we support enums here probably doesn't really matter, as long as we're
consistent. Bitfields are unfortunately weird, due to the way promotion works;
we might want to reject due to the potential ambiguity.
https://github.com/llvm/llvm-project/pull/119423
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
