http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58227
--- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> --- But similar to 58143, because of short circuiting (since a == 0), the expression "0 < -2147483647 - h ? 0 : 1" shouldn't be evaluated at all, correct? Or maybe I'm mistaken? Thanks for looking into this Marek!