[clang] [clang][bytecode] Always check for initialization in RetValue (PR #233189)

Timm Baeder via cfe-commits cfe-commits at lists.llvm.org
Sun Oct 18 05:41:56 PDT 2026


================
@@ -331,3 +331,18 @@ namespace UnionNoActivate {
   }
   static_assert(g()); // both-error {{constant expression}} both-note {{in call}}
 }
+
+namespace UninitializedMemberFromConsteval {
+  struct A {
+    int x; // both-note {{subobject declared here}}
----------------
tbaederr wrote:

I do that when the location is further away or not in the same namespace anymore, e.g. someting in `std`, but adding a label just for a few lines is overkill IMO.

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


More information about the cfe-commits mailing list