https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100430
--- Comment #2 from Jens Maurer <jens.maurer at gmx dot net> --- Why does the warning go away with -O3, then? If it's intentional, it should be consistent once the optimization level is sufficient for the necessary static analysis.