Package: gnat-4.1 Version: 4.1.0-2 Severity: normal Tags: upstream, fixed-upstream Forwarded: http://gcc.gnu.org/PR15305
(This bug was reported to me a long time ago, but was not in Debian at the time. Now recording it for reference.) with unchecked_conversion; procedure Test_100 is package pak1 is type T2 is private; function "=" (left, right : T2) return Boolean; private type T3 is access integer; type T2 is new T3; function convert is new unchecked_conversion (integer, T3); end pak1; package body pak1 is function "=" (left, right : T2) return Boolean is begin return false; end "="; end pak1; generic type T1 is private; x1: in T1; x2: in out T1; package pak2 is b: boolean := x1 = x2; end pak2; y1: pak1.T2; y2: pak1.T2; package new_pak2 is new pak2 (pak1.T2, y1, y2); begin null; end Test_100; $ $ gnatmake test_100.adb gcc-4.1 -c test_100.adb +===========================GNAT BUG DETECTED==============================+ | 4.1.2 20060729 (prerelease) (Debian 4.1.1-10) (i486-pc-linux-gnu) GCC error:| | in build_binary_op, at ada/utils2.c:848 | | Error detected at test_100.adb:30:26 [test_100.adb:35:4] | -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]