[clang] [clang][bytecode] Check dtor instance pointers for active-ness (PR #128732)

Shafik Yaghmour via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 25 09:30:30 PST 2025


================
@@ -504,4 +504,39 @@ namespace AnonymousUnion {
   static_assert(return_init_all().a.p == 7); // both-error {{}} \
                                              // both-note {{read of member 'p' of union with no active member}}
 }
+
+namespace InactiveDestroy {
+  struct A {
+    constexpr ~A() {}
+  };
+  union U {
+    A a;
+    constexpr ~U() {
----------------
shafik wrote:

We should also add a test to check cases where inside `~U` we have `a.~A();` and we attempt to double destruct. 

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


More information about the cfe-commits mailing list