------- Additional Comments From laurent at guerby dot net 2005-06-19 11:46 ------- Here is a reduced test case, works at -0O, fails at -O1 works at -O1 -fno-tree-dce. First .tNN to be different is p.adb.t24.forwprop1.
--
procedure P is
function F return Integer is
begin
return 1;
end F;
A : array (-F .. 1) of Boolean;
begin
A := (False,True,False);
A(-1 .. 0) := A (0 .. 1);
if A /= (True, False, False) then
raise Program_Error;
end if;
end P;
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21242
