[Ada] Overriding of synchronized interfaces with access-to-subprograms

[Arnaud Charlet <charlet at adacore dot com>]

The compiler does not handle well overriding of synchronized interfaces
in which the primitive has a formal that is an access to subprogram.
After this patch gnat.dg/specs/sync_iface_test compiles without errors.

Command: gcc -c -gnat05 sync_iface_test.ads

Tested on i686-pc-linux-gnu, committed on trunk

2008-07-31  Javier Miranda  <miranda@adacore.com>

	* sem_type.adb (Has_Compatible_Type): Complete support for synchronized
	types when the candidate type is a synchronized type.
	
	* sem_res.adb (Resolve_Actuals): Reorganize code handling synchronized
	types, and complete management of synchronized types adding missing
	code to handle formal that is a synchronized type.
	
	* sem_ch4.adb (Try_Primitive_Operation): Avoid testing attributes that
	are not available and cause the compiler to blowup. Found compiling
	test with switch -gnatc
	
	* sem_ch6.adb (Check_Synchronized_Overriding): Remove local subprogram
	Has_Correct_Formal_Mode plus code cleanup.

Attachment: difs
Description: Text document