[Bug middle-end/25125] [4.1 Regression] (short) ((int)(unsigned short) + (int)) is done in the wrong type

[kazu at gcc dot gnu dot org]

------- Comment #22 from kazu at gcc dot gnu dot org  2006-01-09 04:37 -------
Subject: Bug 25125

Author: kazu
Date: Mon Jan  9 04:37:09 2006
New Revision: 109495

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109495
Log:
gcc/
        PR tree-optimization/25125
        * convert.c (convert_to_integer): Don't narrow the type of a
        PLUX_EXPR or MINUS_EXPR if !flag_wrapv and the unwidened type
        is signed.

gcc/testsuite/
        PR tree-optimization/25125
        * gcc.dg/vect/vect-7.c, gcc.dg/vect/vect-reduc-2char.c,
        gcc.dg/vect/vect-reduc-2short.c: XFAIL.
        * gcc.c-torture/execute/pr25125.c: New.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/execute/pr25125.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/convert.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/vect/vect-7.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/vect/vect-reduc-2char.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/vect/vect-reduc-2short.c


-- 


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