https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82734
--- Comment #2 from Sylvestre Ledru <sylvestre at debian dot org> --- I could, the code would be just more complex for no gain. Just like with bug 82711, gcc is way too careful here and the warning is just adding noise.
