================
@@ -7813,6 +7813,32 @@ Sema::BuildCompoundLiteralExpr(SourceLocation LParenLoc,
TypeSourceInfo *TInfo,
diag::err_variable_object_no_init))
return ExprError();
}
+ } else if (LangOpts.C23 &&
----------------
to268 wrote:
3 out of these 5 cases are not conforming curently:
```cpp
constexpr typeof(struct s *) x = 0; // Wrong, no underspecifed
diagnostics
constexpr struct S { int a, b; } y = { 0 }; // Wrong, no underspecifed
diagnostics
constexpr int a = 0, b = 0; // Ok, no underspecifed
diagnostics
auto c = (struct T { int x, y; }){0, 0}; // Ok, `struct T` diagnosed
as underspecifed
constexpr int (*fp)(struct X { int x; } val) = 0; // Wrong, no underspecifed
diagnostics but dignoses warning: `declaration of 'struct X' will not be
visible outside of this function`
```
I need to do more work outside of compound literals.
https://github.com/llvm/llvm-project/pull/79845
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
