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.