[Bug middle-end/26635] New: [4.1/4.2 Regression] Bogus Storage_Error warning

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

The patch

2006-01-09  Kazu Hirata  <kazu@codesourcery.com>

        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.

has introduced a regression for the Ada testcase that I'm about to attach:

eric@linux:~/gnat/bugs/F217-005> gcc -S p.ads
p.ads:12:03: warning: Storage_Error will be raised at run-time

The testcase should compile silently.

Analysis: http://gcc.gnu.org/ml/gcc-patches/2006-03/msg00198.html

I think Kazu's original patch was the correct fix.


-- 
           Summary: [4.1/4.2 Regression] Bogus Storage_Error warning
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ebotcazou at gcc dot gnu dot org
 GCC build triplet: *-*-*
  GCC host triplet: *-*-*
GCC target triplet: *-*-*


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