https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96468
--- Comment #5 from Joseph C. Sible <josephcsible at gmail dot com> --- I didn't have termination checking in mind at all for this. I envisioned the warning triggering any time a "while" loop's body was just a semicolon, when the "while" isn't the first statement in its block.