This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/21242] ACATS wrong array copy code c52102b c52102d (works with -fno-tree-dce)
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 19 Jun 2005 11:46:56 -0000
- Subject: [Bug ada/21242] ACATS wrong array copy code c52102b c52102d (works with -fno-tree-dce)
- References: <20050427060430.21242.laurent@guerby.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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