http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37619
nicolas.boulenguez at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nicolas.boulenguez at free | |dot fr --- Comment #4 from nicolas.boulenguez at free dot fr 2012-04-04 21:32:44 UTC --- Reproduced with 4.6.3 (-gnatwh). Removing the private separator removes the warning. package Bug is type T1 is tagged null record; procedure P (Object : T1); type T2 is private; private type T2 is new T1 with null record; overriding procedure P (Object : T2); end Bug;