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.
vincent-gcc at vinc17 dot net via Gcc-bugs Sat, 26 Dec 2020 10:21:23 -0800
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.