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

    <tr>
        <th>Summary</th>
        <td>
            [LifetimeSafety] Assertion failure on statement expression in for-loop increment expression
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:temporal-safety
      </td>
    </tr>

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

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

<pre>
    ```cpp
void pr8880_3(int first) {
  for ( ; ; (void)({ if (first) { first = 0; continue; } 0; })) {}
}
```
https://godbolt.org/z/fj5TKn9s9

This is actually not related to lifetime safety though. We essentially cannot create the CFG here.
Even thread-safety crashes here. https://godbolt.org/z/3W4K6fcaf

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyEks-OmzAQxp9muIwSGYMXc-BAmtLD9taV9lgZGIJXjo3sIdrt01ckVK32UglsaTy_b_7oMynZiydqQJ1AyjW91wqkBHXOzMpziM09lPVh_GjgSTy-YVlAtLdgR1yi1lr8LEBq6xknGxODrBGqE4gWcQoRQWqE4vT4pd44kDVIDdUJ7bTF_uUeIgjFGcWGDMGz9Svd8WoPQnW-azwqVWcQ7X7-aRJEOzMvCYoWZAeyu4SxD46PIV5Adr9AdtObenn2dao3TrQvs01oE5qBV-PcB_rAGMkZphE5oLMTsb0SJjMRfyDPYb3MR3wlpJTIs71Tg_EbOEQyTMgz4ZfuG84U6Qii_XojjzxHMuNh1xmiSTOlRwr-r-nitXx-mgYzgWizsSnGuqhNRk1eKZULIbXO5qbv68r0SqmcSjNWk-mLsVJ6IPGky7KgzDZSSCV0XuRK5VIf9VQXWshRCSF0WQkoBV2NdUfnbtetfGZTWqnJVVEWdeZMTy7tthmc8RcoWqbrEqJx-2C7kWKzSRz69ZKgFM4mTn9F2bK7u-_7vtwfD1SdsU2JItvgcTLWrZEweExsmK7kGel9iZTS9m795rODC2FB64f4OSFbo2s-7dXyvPbHIVxBdls3-3VYYnijgUF293kTyG4f-dbI3wEAAP__zYT-XQ">