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

[Timm Baeder via cfe-commits]

================
@@ -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() {
----------------
tbaederr wrote:

That's not related to unions, is it?

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