https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71526
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2016-06-14
CC| |glisse at gcc dot gnu.org
Target Milestone|--- |7.0
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed, caused by forwprop.
Applying pattern match.pd:2375, gimple-match.c:2344
Applying pattern match.pd:1367, gimple-match.c:2155
Applying pattern match.pd:559, gimple-match.c:46169
gimple_simplified to _62 = n_64(D) <= 0;
_47 = _62;
Applying pattern match.pd:853, gimple-match.c:164
gimple_simplified to _48 = _46 | _62;
this is the new /* MIN (X, C1) < C2 -> X < C2 || C1 < C2 */ pattern matching
and using boolean_type (guessed by genmatch) for the result comparisons instead
of 'type'.
I'll see if I can fix genmatch.
