[Bug tree-optimization/60930] [4.8/4.9/4.10 Regression] Wrong folding of - ((unsigned long long) a * (unsigned long long) (unsigned int)-1)

[wschmidt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60930

--- Comment #11 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Author: wschmidt
Date: Fri Apr 25 14:28:58 2014
New Revision: 209805

URL: http://gcc.gnu.org/viewcvs?rev=209805&root=gcc&view=rev
Log:
[gcc]

2014-04-25  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

    PR tree-optimization/60930
    * gimple-ssa-strength-reduction.c (create_mul_imm_cand):  Reject
    creating a multiply candidate by folding two constant
    multiplicands when the result overflows.

[gcc/testsuite]

2014-04-25  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

    PR tree-optimization/60930
    * gcc.dg/torture/pr60930.c:  New test.



Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr60930.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-strength-reduction.c
    trunk/gcc/testsuite/ChangeLog