[Bug ada/53737] [4.7/4.8 regression] Assert_Failure on a generic package with a package as parameter

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53737



--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-21 
22:31:46 UTC ---

Author: ebotcazou

Date: Fri Dec 21 22:31:42 2012

New Revision: 194687



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194687

Log:

    PR ada/53737

    * sem_ch12.adb (Analyze_Associations): Do not check the legality of

    actuals for RACW types if this is an internal instantiation for a formal

    package with defaulted parameters.



Modified:

    trunk/gcc/ada/ChangeLog

    trunk/gcc/ada/sem_ch12.adb