------- Comment #6 from laurent at guerby dot net 2009-09-08 09:57 -------
Here is a minimal Ada testcase:
-- file: pp.ads
with Ada.Finalization;
package Pp is
type R is new Ada.Finalization.Controlled with record
null;
end record;
procedure P (S : in String);
end Pp;
-- file: pp.adb
package body Pp is
function F return R is
X : R;
begin
return X;
end F;
procedure P (S : in String) is
S1 : constant String := S & ASCII.Nul;
X : R;
begin
X := F;
end P;
end Pp;
-- end file
/home/guerby/build/./gcc/xgcc -B/home/guerby/build/./gcc/
-B/n/50/guerby/install-trunk-ada-v2/armv5tel-unknown-linux-gnueabi/bin/
-B/n/50/guerby/install-trunk-ada-v2/armv5tel-unknown-linux-gnueabi/lib/
-isystem
/n/50/guerby/install-trunk-ada-v2/armv5tel-unknown-linux-gnueabi/include
-isystem
/n/50/guerby/install-trunk-ada-v2/armv5tel-unknown-linux-gnueabi/sys-include
-c -O1 -g ~/trunk/gcc/ada/pp.adb
/home/guerby/trunk/gcc/ada/pp.adb: In function 'Pp.P':
/home/guerby/trunk/gcc/ada/pp.adb:9:4: error: expected an SSA_NAME object
/home/guerby/trunk/gcc/ada/pp.adb:9:4: error: in statement
# DEBUG pp__p__TTS17bSP1___L => L16b
+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20090907 (experimental) [trunk revision 151474]
(armv5tel-unknown-linux-gnueabi) GCC error:|
| verify_ssa failed |
| Error detected around /home/guerby/trunk/gcc/ada/pp.adb:9:4 |
Interestingly if I remove the "-g" the ICE disappears.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41291
