https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84628
--- Comment #5 from Jay <jay.krell at cornell dot edu> --- I know. We just noticed and were surprised. It isn't clear if this is what users would expect or not. Warn because they wrote code that "merely looks bad", or only if the compiler decides after analysis that it really is bad? Anyway, there are two points here I think. One is far more arguable than the other. I don't think the small case shown should error.