http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46509
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-11-16 22:17:45 UTC --- >A == 1 || A == 3 && "some reason this property should hold" To the untrained eye this looks funny really. The parentheses makes the code look cleaner and better understood as far as I can tell.