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

    <tr>
        <th>Summary</th>
        <td>
            [Clang] Immediate-escalating expression attributed to wrong lambda
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    The following should be well-formed, but [clang diagnoses](https://godbolt.org/z/57xfWbE71):

```cpp
void runtime_only() { }
consteval void comptime_only() {}

void fn() {
    []() {
 runtime_only();
        [](){ (void) comptime_only; }();
 }();
}
```

The _id-expression_ that names `comptime_only` is [immediate-escalating](https://eel.is/c++draft/expr.const#25.1). Clang currently attributes that expression to the outer lambda, despite its occurrence within the inner lambda. It seems to me that this stems from the `ExpressionEvaluationContext` corresponding to the inner lambda [being popped](https://github.com/llvm/llvm-project/blob/0c359d747daa97197d17d2c48d7964d49f7f1b98/clang/lib/Sema/SemaLambda.cpp#L2173) _after_ the `FunctionScopeInfo` corresponding to the same has [already been popped](https://github.com/llvm/llvm-project/blob/0c359d747daa97197d17d2c48d7964d49f7f1b98/clang/lib/Sema/SemaLambda.cpp#L1978). Naively re-sequencing these operations appears to cause other problems (e.g., failing assertions related to ODR-uses in `ActOnFinishFunctionBody`).
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMVE1v4zYQ_TX0ZWBBoixROugQJzEQYNEFugV6DPgxkthSpEpSTry_vqBkZ5NteuitgABC5Hy8efNmeAh6sIgdqY6ketjxJY7Od3_y-F1NO-HUpfttROidMe5F2wHC6BajQCC8oDH73vkJFaH3IJYIpDpKw-0ASvPBuoCBVA-ENmOMcyDlHaEnQk-DU8KZmDk_EHr6TuipYq_97-KRFYS2ySxfvzrfPjnPJL87O63ALzbqCZ-dNRdCG0JbIOwIhD2Q_E46GyKeuYHVVrpp_sR4s70F7O27l_wOAGBj4uP1P_OS8mb_s88KiDYpfIrwEUa5gX0f4qf_K75b8RvW1INnrfb4OnsMQTv7DHHkESyfMEAi6UOaOgcdEio9Tag0j7jHILnhUdvhs54gmkwHQk-S0COhR-V5H9P96-yzlVhCS1plqUMZ3K9Nlov3aKO5AI_Ra7FEDBuqHzAhOogjglsiejB8EoontSgMs44IOgZwcoskEV50HLVdPbS1bx4ZPEUIiFNI8SbcssRRBwgx3fbeTasXqfPHt-SPZ24WHrWz985GfI2JF-m8xzA7q5Kcr_DeJ0u0CUyPs5tnVJ9KWMdxEZl0E6EnY863Yz979wfKxJwwThB6ymVZtYodmOK8ZUXLVMEUlYdGsbY-qEPbs74QbZOoT6ymQDo5fsOJX48vGwlpDmj5hRasTMJ65n1E_3wr-7RYmUr9Jt2MT7Z3_1ps4BPCyFd9cOORqwsIRPs_rbdoWbOq7heuz2gu4HEf8K8FrVyLGjEguBn92ukAfJ6R-1Upki_pLY7oYfZOmKQVQhvMhiypsOfapBg8BPSbt0fDI6rk_fXh1_0SMIC2ieA7Gb_ak7Y6jDeuj06lWUvodqorVVu2fIddwaq8aWhdF7uxy_tDRUWOrMW6rRpVUanappY5y2kjBe50R3Na5TWtaF6wQ5GVVdtS1dNStIWoCkYOOU5cmywxnrbmToewYFccKsbqneECTVgXOKVXTmna5b5bWySWIZBDbnSI4UeIqKNZt_46y6R6gKdPVsX7SX4b8pWcF-_scJ2Y3eJN958FsxaRVs61jnNH_w4AAP__dz8YTA">