[Ada] add missing test for generic_dispatching_constructor

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on trunk.

After a tagged object is built with Generic_Dispatching_Constructor
the compiler generates a run-time check to ensure that the tag of
the object denotes a type withing the target class. If the target
class is an abstract interface type the generated run-time check
generated by the compiler was wrong and the program raised always
the exception Tag_Error. After this patch the execution of
gnat.dg/generic_dispatch.adb raises no exception.

2006-10-31  Javier Miranda  <miranda@adacore.com>
        
	* exp_intr.adb (Expand_Dispatching_Constructor_Call): Add missing
	run-time membership test to ensure that the constructed object
	implements the target abstract interface.

Attachment: difs
Description: Text document