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

    <tr>
        <th>Summary</th>
        <td>
            wrong code on valid code at -O3 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>
    This appears to be a regression from 12.0.*.

```
[509] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 800d36cf32367a633bc24f668189365d63894f8c)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Candidate multilib: .;@m64
Selected multilib: .;@m64
[510] % 
[510] % clangtk -O3 small.c
[511] % ./a.out
Floating point exception
[512] % 
[512] % cat small.c 
int a, b;
int main() {
  while (!a || (a / b))
    ;
  return 0;
}
```

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

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VcuOmzAU_RqysYKMDQYWLGaSpuqqi86-MrYJ7jg2sk2S5ut7ISSdjkaVqs5EVvB9-NwXPrRO_myeeh0QHwbFfUDRoVYhjrzaexWCdhZ13h1QRlKcJuQhTfA2wQ_LP8PLuorFY4HrpNiihBRIGG738Rmtj1frLKOj8jNoVgAeBseqj3EICX1IyA7WXsd-bFPhDiAYc7w91oN3P5SIKTigCmNJmegooazkjNJWkLxjrMqqmrJCMlrVeVeJhNTX2E_c71WEIOhcse8sX4_22bqTXRttx_N6b8fFr_eKS3RwUpnJe3BBn6-mLzZEboySW-0n05SXE9zAM4yX9W3vhm68XGDTans9uHOjlUhwK7XkUaHPmw3SVzAeoRUL2Bj8BKnbqQkCUt9pVrEXCZJd9Z-AS-0vITP8_pjsAyBTeF3eH7b8AMiPyXQZ_Tdl4A4o-S4z39wzO4wm6ukUoKQJfUxyfGD5q5B_c5puPsAuN_8t3Z0NvlIUDpB2Kl64ZTc3oJgdT90YlxYaB-UBbQxO24jUWahhLvf3UfJG1LtO8HiLttgnGJ6QDWqnEu6qA4frSiogDJSUix6hU6-NQrM-42DYwJpEPvUaEIBebgyD4HdHRECfcfQW4bsqKbdvc-Z1FO4wQCiPPp0H47yaGeYVMTrZOhNT5_cgTQwTyqPPxZGLPyg5x13Pe4tWsqGypjVfRR2Nak7eQR8FMBsC-j1yo-VVghZNQwHl63cFrUZvmn_j54m3QhhVgE1RUMpWfcMlE6KlnHJcVaLu6oxy0WWlzFlbF1isDG-VCQ3MLiHEqhOaIWAPc1zphmBCcIGrLM8xKdOSFh3hqhR5puqiKqBkBfMz6ZTH1J-Vb-aU2nEfwGh0iOG3kcNXbW-VmsMBPh9j73xz6ZWV0KIwrubozZz9L-XPI6c">