http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60103
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-02-10 CC| |mpolacek at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- I think the warning isn't spurious and should be output even with -O0. But the fact that we output the warning with -O is IMHO pure coincidence, we do it only because we fold away the useless || 0. So the bug is probably in verify_sequence_points. Note that C11 still has the notion of sequence point; it's C++11 where it was renamed to sequenced after/before.