<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/147528>147528</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Bytecode Interpreter: Primtive arrays do not have per-element lifetime information
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            clang:bytecode
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          tbaederr
      </td>
    </tr>
</table>

<pre>
    Similar to their `InitMap`.

To see this in action, we have to apply
```diff
--- i/clang/lib/AST/ByteCode/Compiler.cpp
+++ w/clang/lib/AST/ByteCode/Compiler.cpp
@@ -5008,7 +5008,8 @@ bool Compiler<Emitter>::VisitCallExpr(const CallExpr *E) {
     if (!this->emitCheckPseudoDtor(E))
       return false;
     const Expr *Base = PD->getBase();
-    if (!Base->isGLValue())
+    // if (!Base->isGLValue())
+    if (classify(Base) != PT_Ptr)
       return this->discard(Base);
     if (!this->visit(Base))
       return false;
```

See:
```c++
#define assert_alive(l) if (!__builtin_is_within_lifetime(&l)) (void)(1/0);
#define assert_dead(l)  if ( __builtin_is_within_lifetime(&l)) (void)(1/0);
consteval bool partial_arrays() {
  int arr[2];

  assert_alive(arr);
 assert_alive(arr[0]);
  assert_alive(arr[1]);

 std::construct_at(&arr[0]);
  assert_alive(arr);
  assert_alive(arr[0]);
 assert_alive(arr[1]);



  std::destroy_at(&arr[0]);
 assert_alive(arr);
  assert_dead(arr[0]);
  assert_alive(arr[1]);

 std::construct_at(&arr[0]);

  return true;
}
static_assert(partial_arrays());
```
The call to `std::destroy_at(&arr[0])` will mark the entire array as dead, because that's where the base offset points at the time of calling it.
After this call, the `assert_alive(arr)` and the `assert_alive(array[1])` both fail.

To properly support this, we need so ave the lifetime information for primitive array elements somewhere.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy8Vt1uo0gTfZr2TclRu7ExvuACO_Gnkb6VIiWaW6uBwtROQ6Puwlm__arB2J4d72xGWm2EFEz9nKpT1Ry093RsEVOx2orV80z3XFuXcq6xROdmuS3P6Rs1ZLQDtsA1kgMRyy8t8W-6E7F8EjITMnu34BGBa_JALeiCybZC7eADodYnDNG668w5uMdyvEqqKiGz-XwOJNS-MLo9CrU3lAu1z97ehdpvz4w7W6JQ-51tOjLonoquC1nUdrzg49djl1IsJcxXUiZC7dYg1PZyn8DFmFtrYIoT0e6lIeZw9yKiTETZV_LEO23Myx-dEyopbOsZpgcgVPYi1AbEeitkBuGPKhAqEWoRWJqL6AUb4l2NxbdXj31pn9mGRCEsXJcoAIfcuxYqbTyK6JpuBJzAttojiOgZXp9D6iNyeDLgbcag-Xc1BGtwJP-__3_Vpp9cB-DAKgAItRdq_2sxo3NhwmpVZ6GSsYwNCLUYyns_vLJ71N_ESkm-0K68hd71_AOFpzCFO9ef83bdvHFp3xDDLO-eF5etCu1EJVbUImjv0fFBGzqFhk1o5lrH4ZD3ZJjaA_nDB3FN7cFQhUzNyE5sxrKC_8lSOfxKFkLt5bW1H7BK1OUEdcGCfwVp2Bk8aTOud6cdkzYH7Zw--3Ga142llkE7J1ZbJVbPl0qD4S-EBJ_rkB7YVlsZ4m9zfOizuPcJbp7L8aANNbu-4IPmsdHPZv0HyO8TfKqqiYJrcSV6dvb809I-U9ll4v8ZX0Pi6eC5fjof62chM8-aqTiMsEIlj7bklujuSL3XCIU2JrzsRSw_SVIs4YOMgUa7b0FhAFsmhzDAgfYwcrODHAvd-yAyIdHaw0eNDoeQPLz9bFV5ZOgstexB82AJxwNsNdRF7RGIg2JlFaMb1SoYQvbgLGL5eFixBN2Wf--jz3cjiYN4cA2VJnOTx87ZDp05g--7zjoe0C8K2SKW4C0MQlkjTOcaqK2sa3QQU6isg85RQ0yniR002GDo1tsGBzqeZmUalZtoo2eYLtarxSaJIrWY1WmOWGGyiQosMVqXURQXUaFkoeN4qaJEzyhVUq3kWiaLpVysoidVJctopfKyQpksq0IsJTahKWNOzZN1xxl532O6WK5XKpkZnaPxw7eEUqMgR1nlbMvYlkIpoXZ3hvzMWAzqHF4vM5eGpPO8P3qxlIY8-xsMExtMt5cI-NIyus7hIMcZvDpqbpx4KC20lsfPjg7d_ELSQ1ZnvTNpzdz5sKqD3h2J6z5_KmwTvifMafo375z9HQsWaj-07YXaXzo_perPAAAA___DwMxv">