This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH RFC: Ensure TREE_TYPE (TYPE_MIN_VALUE (t)) == t
> My patch can not break Ada any more than it is already broken.
Hum... your patch breaks Ada bootstrap on mainline:
../../xgcc -B../../ -B/usr/gnat/i686-pc-linux-gnu/bin/
-isystem /usr/gnat/i686-pc-linux-gnu/include
-isystem /usr/gnat/i686-pc-linux-gnu/sys-include
-L/cardiff.a/gnatmail/gcc-head/build-cardiff/obj/gcc/../ld -c -O2 -MMD
-ffunction-sections -fdata-sections -fPIC -gnatpgn s-regexp.adb -o
s-regexp.o
+===========================GNAT BUG DETECTED==============================+
| Pro 6.1.0w (20070427-head) (i686-pc-linux-gnu) GCC error: |
| in build_int_cst_wide, at tree.c:902 |
| Error detected around s-regexp.adb:1351
Testcase attached, compile with "gcc/xgcc -Bgcc -O2 -gnatp p.adb"
--
Eric Botcazou
package body P is
procedure Create_Secondary_Table (First_Table : Regexp_Array_Access) is
Last_Index : constant Natural := First_Table'Last (1);
type Meta_State is array (1 .. Last_Index) of Boolean;
Meta_States : array (1 .. Last_Index + 1) of Meta_State := (others => (others => False));
begin
null;
end;
end P;
package P is
type Regexp_Array is array (Natural range <>, Natural range <>) of Natural;
type Regexp_Array_Access is access Regexp_Array;
procedure Create_Secondary_Table (First_Table : Regexp_Array_Access);
end P;