https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80346
--- Comment #14 from Paolo Bonzini <bonzini at gnu dot org> --- And also treat it as undefined behavior and go straight to the else... kidding, but not entirely!). The main issue is that here we _are_ testing the overflow behavior of the function, so we cannot pass sz for the last argument. I guess we can add a pragma or compiler flag to hide the warning. Thanks!
