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;

Reply via email to