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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O2 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 is a regression from 13.0.*.

Compiler Explorer: https://godbolt.org/z/9r1o5v5eq

```
[522] % clangtk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git 1b9b4f3bfa8bc7ed7dddd30dd30a07676891bedb)
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/11
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/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[523] % 
[523] % clangtk -O2 small.c
[524] % ./a.out
Floating point exception
[525] % 
[525] % cat small.c
short a, b, *c = &b;
unsigned d = 4294967295U;
int e() {
 while (1) {
    while (d <= 1 && b <= d)
      *c = 1;
    int f = d;
    d = a / f;
    if (f < 4294967295U)
      continue;
 return 1;
  }
}
int main() {
  e();
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0Vcuu2zYQ_RpqM7BAUe-FFo5dFV110XQdkCIls6FIl4973fv1BSX5lQYFisaGLUvzOOfMmJ6hzslJC9Gh8hMqjwkN_mRs93ESmhs9uZAww__qPp-kA-mAghWTFc5Jo2G0ZoYsT3GKyD5F-Ijwfr0ezHyWSlj46XJWxgqL8j2cvD87lO8R6RHpJ8OZUT41dkKk_0Ckb21myrdS_PmIhCq8vdfH8lNJCCqPgEgJg6J68l9h97Z6l2d4E3aRl9UpTjEg0nzDLP0psHQwMyK9Um_Xr93Zmj_E4NNJeshYy4oxZyNt2FALXnPOeY7jh-K6qqumzZjgDJF25f5M7SR8rPPSVF-qYhf0V23e9U5JHS67SYct7mQF5TAbLlSMPhsnL6vrF-08VUrwo1waFnWZgSpEehc-dtd7cx7DR2wYk3pN7E3QHAaqueTUC_j5cAC5glEvjd7AgrMRUrLYhGFApJdVUz0IJH3zPwG32h8hM_wCzOzHY1YvgEzL9AXV1y-AfI3S7Tj9JpQYvOA_5Dc_3JTNQXkZs_I9pCj_hAo8V8U3lP8WtEyT_DpNvme7TZhfCbiZKpUOD2HFNSxFpKepCX5roTLUSz3B2UjtQVwGcV7KvaeW32G92Qbqn9ncyVgPFJEDsHhBZD8AymN0xWJRS1TQyyznwBdfQdqirWrSlr_fQhY5iDSItIDqzQjvJ6lEHJTZsx3g7oqYhwibRVJEKmBXC78NQVheN3XZjTeaI_cIa8KjfVVL40GA8TljjMwx5_BUzTPdYLSXOoh7qhU-WP1Ej-rj1unrTZQzU6n_0Y1rgx6yN0B8M93hrvsp4V3O27ylieiyqq6zoqzLJjl1WcuHMce8JCUbWcNYQ3KSs7YaqoyVvElkRzDJMSE5bos2a9K6bsaswIy3DSXjmKMCi5lKlcYtFRdmIp0LoqtwWxSJokwot-xvQrR4h8WJli2Z2G7ZbCxMDhVYSefdHcVLr0T3bo2eYDBcAPXLQTcaHv9_XyYdIAlWdf9tj8b9EqW4OAmj1L8DAAD___fUdbg">