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

    <tr>
        <th>Summary</th>
        <td>
            opt generates wrong code with "correlated-propagation,dce,flattencfg"
        </td>
    </tr>

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

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

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

<pre>
    *******************************************************************************
OS and Platform:
Ubuntu 20.04.4 LTS
*******************************************************************************
clang version 17.0.4
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/ctc/llvm-releases/llvm-17.0.4/build/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
*******************************************************************************
Command Lines:
```shell
clang -O3 -mllvm -disable-llvm-optzns -c -emit-llvm a.c -o a.bc
opt -passes=correlated-propagation,dce,flattencfg a.bc -o a.opt.bc
clang a.opt.bc -o a.out
 ./a.out
Floating point exception (core dumped)
```
*******************************************************************************
Source Code:
```C
int a;
void b() {
  int c;
  unsigned int d = 6;
  c = 3 % (((a || 0) < 0) - d || 0);
}
int main() { b(); }
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkVk-L47gT_TTKpbCxJcd_Dj50O_jHDwZmoWfPiyxVHO3IkpHk7ux8-kW2kzS70OxhmDkMCBLVe371JKokce_VaBBbcnwmx9OBL-FiXfvMv9mvPGeHwcq_WkKffqGRnUj29PkFuJHwm-bhbN1E2B7_fVhMWIBmaVakBXz68rLFf77tH75FQnMzwis6r6yBvEqztNiQL9yNGAh7gmtd_lEWyWK-GvtmEq3Mck1Gs-y8i0MuYbISdWTP1qvrBv3f-MC1RnlSLkKE9hc7IaG9CILQXuvXKXGokXv0t_nugfbDorSMv8pscr1djATBjVSSB4T_dR2oLQUPypo9xeJd1FIDof0oYp59AQ_jtK-_v2SzSb6gRhFQfg-t7m5sWnRQ8SP2BClhz6TIprL4iMXoTmP0I9r1zrveiPcVfJT059fvD--Vzk5TPE8-KYP-fpiQMtuGv6DW77sq-cwgmWJRQyKV54PGZC1xO4dvxkMiIMFJhTUIPBWQWODpIDYROwdIZu5jb7CTsM6h5gFlMjs783GrKdpJgYR2Z81DQCPO46qwKdk53NU2S7fYji9hAyEltH8377XlQZkRZqtMALwKnGM6ILQW1iHIZZpREtr8Yw9-2dp4sYsTCJ2V-O_K6LZ53Eoe22idvVolYSC0JrQBUu1RgMgSdxbAYtbLXa6ABMJOUL6DxRphQOgRVrE4OJCqI1UH2SrO9j9J_P4B3FVIdXo4nLgyD1c3h4Q9w512X9hBtkw2rOEHbPOyqRtWNQU7XFpWZ5ifmyIXcpCci6YWFRuqYijrDLPheFAtzSjL84zmx5zmZcrLc1NnTFa8zGVJBSkynLjSaWyO1LrxoLxfsK3yrKwPmg-o_freodTgG6wgoTQ-f1y7dtmwjJ4UmVY--IdKUEFjG3trRIOOB_Tw5qwZQViJ8KbCBQil_7ndCKWHxen2EsK8Hgq0jwe7CpdlSIWd9mvtdrvNzv6JIhDar47jrbeu6O8AAAD__9VBilk">