The patch
2006-01-09 Kazu Hirata <[EMAIL PROTECTED]>
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:
[EMAIL PROTECTED]:~/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
