<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">