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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O1 and above on x86_64-linux-gnu
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    It appears to be a recent regression from 19.1.0. 

Compiler Explorer: https://godbolt.org/z/haMfGoo6h

```
[548] % clangtk -v
clang version 20.0.0git (https://github.com/llvm/llvm-project.git ddd2f57b29661f21308eec0400fa92a6d075b0c6)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/home/suz/suz-local/software/local/clang-trunk/bin
Build config: +assertions
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Candidate multilib: .;@m64
Selected multilib: .;@m64
Found CUDA installation: /usr/local/cuda, version 12.1
[549] % 
[549] % clangtk -O1 small.c
[550] % ./a.out
Aborted
[551] % 
[551] % cat small.c
int printf(const char *, ...);
unsigned a;
int b, c = 1;
int main() {
  int d;
  a = -1;
  if (a < 1)
    goto e;
  d = c;
  if (d) {
  e:;
  }
  if (!d)
    __builtin_abort();
  if (b)
 goto e;
  return 0;
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVMuO6zYM_RpmQ8SQ6Vey8MJJ6ou7KLpoux7IluKoI0uBHjPT-fpCdjKvogWKXiBIIOrw8FAhD_deTUbKFqoDVKcNj-FiXft6kUZYM_m4Gaz4s_0ekF-vkjuPweIgkaOTozQBnZyc9F5Zg2dnZ8z3WZ6xDIF1wLqjna9KS4c_vVy1ddJB0eElhKuHogPqgfrJisHqkFk3AfWvQP2F_3z-Zm19WTmgZrcP66A6VOUOqhMCVThqbqbwiNsnYN1ywCfpFi3EMpaxSQUE2n0pqMIlDtloZ6Be66f7z_bq7B9yDFnKEkLQuWoG2td1fqa8YDspR1YyduZ74rVgTTWwsQbaA-t-426SIfX2sqsf6nIbzaOxz2arlYkv28nEBLo4yQXOVkidoFfr1Quw7rvxgWstxUktz5Pk2JHr9BJ2lkC9j6_r9_Z-4e05PHMnP2CX_rfBRfMI1A_KAOsOUWmBozVnNa3UB-69dEFZ44F1vY1G4MiNUIIHid-OR1SrHJ4wNznRu1RIDen1xhGov7X53h71ef6jCQlY96vUcgxS_H-m45uoOeqgUkrRYQbFAUo21-XHYv-IWPs7_n7q_kXM_Q-JggMd30Yypyy_j_D-PsJ_C7zN9C85-plrnY03TMXumAyo55mNAVjXDdYFKe6Y_Avxe2Dk4QOhMgGvTplwBtqN1viA44U7BOqS5izL0mQXB2BdNItFCOTrOaUOCTQiFCfM36MzVwZoB7RHaFIQMYXFikDkS8I2v5_VOW1nih4xXzcJEXGywaK8g8SSNH7OER9ryLTat2toTh9gQLl45314GKLSQZkHnh5tVfqZd7ihP0twMkRnkK3ntcSbK21EW4h9secb2eZN0TS0Jyo3l3Ys8rKpq7qsq4FTJXgtSkbFueGcql3NN6olRhXLqczLoijLTNR1vResGRqW76qmhpLJmSudJXtKBrlR3kfZ5lRSU200H6T2i3MTGfmMyy0QJSN37eJpQ5w8lEwrH_w7TVBBy_bZWTPhaIVEHpaB40YgH-yTRGvw6yJtotPtf7NSoH7R5JclXEQ_tfRXAAAA___tJOpQ">