https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71289
--- Comment #4 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Author: amonakov Date: Mon May 30 14:37:02 2016 New Revision: 236882 URL: https://gcc.gnu.org/viewcvs?rev=236882&root=gcc&view=rev Log: match.pd: optimize unsigned mul overflow check gcc/ 2016-05-28 Alexander Monakov <amona...@ispras.ru> Marc Glisse <marc.gli...@inria.fr> PR tree-optimization/71289 * match.pd (-1 / B < A, A > -1 / B): New transformations. gcc/testsuite/ 2016-05-28 Alexander Monakov <amona...@ispras.ru> PR tree-optimization/71289 * gcc.dg/pr71289.c: New test. Added: trunk/gcc/testsuite/gcc.dg/pr71289.c Modified: trunk/gcc/ChangeLog trunk/gcc/match.pd trunk/gcc/testsuite/ChangeLog