[Bug analyzer/98447] incorrect -Wanalyzer-shift-count-overflow warning

[vincent-gcc at vinc17 dot net via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98447

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
And the warning is triggered with the initial "b = 63", but not "b = 62" and
smaller values.