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

    <tr>
        <th>Summary</th>
        <td>
            [14 regression][clang static analyzer core] Bogus core.uninitialized.Assign
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer
      </td>
    </tr>

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

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

<pre>
    https://godbolt.org/z/jb574cz4E
```
In file included from /home/lebedevri/rawspeed/fuzz/librawspeed/decompressors/HuffmanTable/Solo.cpp:36:
/home/lebedevri/rawspeed/src/librawspeed/decompressors/HuffmanTableTree.h:61:20: warning: Assigned value is garbage or undefined [core.uninitialized.Assign]
      partial.code <<= 1;
                   ^   ~
1 warning generated.
Compiler returned: 0
```

`partial.code` can not be garbage or undefined there.
It does not really say why it thinks that way.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVU9tu2zAM_Rr7RZghX5M8-CFpOqzAnrb-AGXRtjrZMnRJkHz9KCfduqLDMEOWRFEkzyEpYeSlHb1fXFLuk-IzjcFIYbTPjB1IutL_IupN1V2rx4QfE75PGn4fq_g0s15pZGrudJAoWW_NxMhsNBPSolGgxJNVtLdwdguipG0frtG3VuLNocTOTItF54x1JH8JfT_B_AxCR1ffjTZZtyyEtWwi4Buef4VytvuvSM8WMRvJf5PTVHCa2BnsrOYhbvfOqWEmoifQgXg7NoAVMCAzloVZYq-iNqkPnbGYBbJTXoFWV5TZzTipjzfsbP0WsPFC1hmJLCkf1nFkFP3w9tofX1I_xnlzL0r-ipANOKMFT7FumgfiSfWxzKIPlpBFDvzDUv46fAuIRNbBzGbjmcCPufoRiem9HzyTBt163yJofWEOLuw8XpjydFPNPxwt4AnxJUtlW8pduYPUK6-xpazlFdkNsTTKrJmiRGogZs6DVx2DGfTlSoRieknPDmYIjv012Wmw-n2PKz8GQfSm2Bj69Lp8Wqx5wc6TqJwLGDujrnZVnY6tKBGFLEQu-nxTlCX0RVNtUewAKy7yXapBoHaRQVIUK2KK9w4zaQhxqtqCFwWv8oambd5k1abYVhy4LHPON4InFccJlM4iqvgUU9uuAEUYHCm1ct79VsKtJdf0Rf8Q_Ghs-_X2Hr49pSubdqXyE9oXQnw">