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

    <tr>
        <th>Summary</th>
        <td>
            [clang] False-positive with -Wuninitialized or not apply infered value to branch?
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          hstk30-hw
      </td>
    </tr>
</table>

<pre>
    https://godbolt.org/z/Efxa6Yoca


```
extern void use(int);

void test() {
    int v;
    _Bool s = 1;

 if (sizeof(int) == 1)
        v = 3;
    else 
        s = 0;  // clang and gcc know that only reach here
    
    if (s) {   // but clang not apply  `s=0`  to here
        use(v);
    }
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcksmuozwQhZ-m2JQSGZtxweJG_LzCr161DBTgvo4dYUNu8vQths5kIQa7_JXP4UjnVG-ICohPEJeBnPxgx2Jw_luww3ANatveisH7iwPxBbwCXvW2ra32Rzv2wKs78Oq_7kcmv2wjgZXAvt7uCduv9ZN-PI0GZ6tanBwBz5TxwHMQp9dd67on54FnwHOEdF9GRFTG4_zYsMz8Plmr0SGIEsMPFKoOgWdO3cl2j35L6VbN8ydnGfNKEW980o7wvWxrxkCcEDdbsNHS9ChNi33T4LexV_SD9GiNvuFIshlwoJGenBdJ2xl3qfhA1pPfscZ6lJeLviFCwhyIcjEV0dsP6DI2Z-dXX9d-abk783j593eCthBtLnIZUBGmIYvyMM7yYChaLtOQLVONiFjEecpE2-RJLtMmSaUMVMEZj5gIY5YJwfJj1CWi61LWkqhFJEKIGJ2l0ket5_MSmkA5N1GRxSLlgZY1abfGj_NVKnC-JHEslvpDPfUOIqaV8-5J8MrrNbPbjrjESmpHh4t1yquZ8Kr8gIf_J6OM8kpqdacW7fhiozIdjdTiLPVEi431KE0zgKiCadSfkVd-mOpjY8_Aq-UU--NwGe0fajzwahXlgFerrr8BAAD__6uN8X0">