[Bug ada/23427] latent bug with array type size check

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-08-16 19:12 -------
Even the following code doesn't trigger anything on x86-linux mainline, so I
assume the line in trans.c is unreachable. Richard Kenner might confirm here.

procedure PP is
   subtype T is String (1 .. 1024 * 1024); -- 1 MBytes
   type A is array (1 .. 513) of T; -- 513 MBytes > 2**32 bits
   type P is access A;
   X, Y : P;
begin
   X := new A;
   Y := new A;
   Y.all := X.all;
end PP;

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kenner at vlsi1 dot ultra
                   |                            |dot nyu dot edu


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