r138400 - in /trunk/gcc/ada: sem_ch4.adb sem_ch...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 31 12:46:35 2008
New Revision: 138400

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138400
Log:
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.


Modified:
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_type.adb