https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71311
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Wed Jun 1 10:33:35 2016 New Revision: 236980 URL: https://gcc.gnu.org/viewcvs?rev=236980&root=gcc&view=rev Log: 2016-06-01 Richard Biener <rguent...@suse.de> PR tree-optimization/71311 * match.pd (@0 < @1 && @0 < @2 -> @0 < min(@1,@2)): Add :c and restrict to non-INTEGER_CST @0. Modified: trunk/gcc/ChangeLog trunk/gcc/match.pd