[clang] [C23] Implement N3018: The constexpr specifier for object definitions (PR #73099)

[Aaron Ballman via cfe-commits]

================
@@ -14397,17 +14559,21 @@ void Sema::CheckCompleteVariableDeclaration(VarDecl *var) {
   QualType baseType = Context.getBaseElementType(type);
   bool HasConstInit = true;
 
+  if (getLangOpts().C23 && var->isConstexpr() && !Init)
+    Diag(var->getLocation(), diag::err_constexpr_var_requires_const_init)
+        << var;
----------------
AaronBallman wrote:

Is there a reason the existing logic below doesn't suffice and we need a separate code path here?

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