https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
Georg <georggcc at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |georggcc at googlemail dot com
--- Comment #16 from Georg <georggcc at googlemail dot com> ---
works for me with some more recent compilers. Example:
$ gnatchop -w pak1.ada && gnatmake -gnatvl pak1_1.ads pak1_2.ads
splitting pak1.ada into:
pak1_1.ads
pak1_2.ads
gcc -c -gnatvl pak1_1.ads
GNAT 4.8.0 20130208 (experimental) [trunk revision 195897]
Copyright 1992-2013, Free Software Foundation, Inc.
Compiling: pak1_1.ads (source file time stamp: 2014-08-13 12:33:11)
1. package Pak1_1 is
2. type T1 is tagged null record;
3. function Eq(X, Y : T1) return Boolean renames "=";
4. function Neq(X, Y : T1) return Boolean renames "/="; -- line 4
5. end Pak1_1;
5 lines: No errors
gcc -c -gnatvl pak1_2.ads
GNAT 4.8.0 20130208 (experimental) [trunk revision 195897]
Copyright 1992-2013, Free Software Foundation, Inc.
Compiling: pak1_2.ads (source file time stamp: 2014-08-13 12:33:11)
1.
2. package Pak1_2 is
3. type T1 is tagged null record;
4. function Eq (X, Y : T1) return Boolean renames "=";
5.
6. type T2 is new T1 with null record;
7. function Eq (X, Y : T2) return Boolean renames "="; -- line 6
8. end Pak1_2;
8 lines: No errors
Same for GNAT GPL 2014 (20140331) ; both on Mac OS X 10.9
