sem_ch10.adb (Analyze_Compilation_Unit): if a unit in the context is a generic subpro...
authorEd Schonberg <schonberg@adacore.com>
Wed, 26 Mar 2008 07:41:53 +0000 (08:41 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 26 Mar 2008 07:41:53 +0000 (08:41 +0100)
commit9b91e15091b8d490e742ec04d8f1813c27f9cc13
treee2a0cb6cf6596e59e38f948692d5cb4b9baaf440
parentd767bc3ac4fdd2e3be5a40db7a9171eb377c1904
sem_ch10.adb (Analyze_Compilation_Unit): if a unit in the context is a generic subprogram that is imported...

2008-03-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Analyze_Compilation_Unit): if a unit in the context is
a generic subprogram that is imported, do not attempt to compile
non-existent body.

* sem_ch12.adb (Instantiate_Subprogram_Body): if the generic is
imported, do not generate a raise_program_error for the non-existent
body.
(Pre_Analyze_Actuals): If an error is detected during pre-analysis,
perform minimal name resolution on the generic to avoid spurious
warnings.
(Find_Actual_Type): the designated type of the actual in a child unit
may be declared in a parent unit without being an actual.

From-SVN: r133575
gcc/ada/sem_ch10.adb
gcc/ada/sem_ch12.adb