================
@@ -21087,6 +21086,26 @@ static ICEDiag CheckICE(const Expr* E, const
ASTContext &Ctx) {
case Expr::HLSLOutArgExprClass:
return ICEDiag(IK_NotICE, E->getBeginLoc());
+ case Expr::MemberExprClass: {
+ if (Ctx.getLangOpts().C23) {
+ const Expr *ME = E->IgnoreParenImpCasts();
+ while (const auto *M = dyn_cast<MemberExpr>(ME)) {
+ if (M->isArrow())
+ return ICEDiag(IK_NotICE, E->getBeginLoc());
+ ME = M->getBase()->IgnoreParenImpCasts();
+ }
+ const auto *DRE = dyn_cast<DeclRefExpr>(ME);
+ if (DRE) {
+ const auto *VD = dyn_cast<VarDecl>(DRE->getDecl());
+ if (VD && VD->isConstexpr())
+ return CheckEvalInICE(E, Ctx);
+ }
+ if (isa<CompoundLiteralExpr>(ME))
----------------
Fznamznon wrote:
Isn't this check too liberating? Should a compound literal be `constexpr`?
Note, AFAIK clang doesn't support storage class specifiers on compound literals
yet.
https://github.com/llvm/llvm-project/pull/182770
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
