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.