https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81901
--- Comment #2 from Wouter Vermaelen <vermaelen.wouter at gmail dot com> --- Euhm, i=0x30 should not enter case 0x00. (Or did you mean the analysis pass that produces the warning). This code should not store anything to a[]. (I know this reduced function is useless/obfuscated. The original code before minimizing and manual inlining made more sense ;-)