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

["kazu at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #12 from kazu at gcc dot gnu dot org  2005-12-26 23:00 -------
Subject: Bug 25125

Author: kazu
Date: Mon Dec 26 23:00:18 2005
New Revision: 109065

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109065
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:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr25125.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/convert.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/vect/vect-7.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-reduc-2char.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-reduc-2short.c


-- 


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