[Bug c/79479] -Woverflow false alarm in unreachable expression

[eggert at gnu dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79479

--- Comment #12 from Paul Eggert <eggert at gnu dot org> ---
If the proposed change would introduce significant problems with false
positives or false negatives, then surely GCC already has these problems in
conditional expressions. These problems ought to be addressed regardless of
what GCC does with conditional statements. What false-positive and/or
false-negative problems are these? Should they have bug reports?

I'm still mystified as to why a conditional statement should generate false
positives that the equivalent conditional expression does not generate. This
makes little sense from the programmer's point of view.