checks.adb (Insert_Valid_Check): Apply validity check to expression of conversion...

checks.adb (Insert_Valid_Check): Apply validity check to expression of conversion, not to result of conversion.

	* checks.adb (Insert_Valid_Check): Apply validity check to expression
	of conversion, not to result of conversion.

	* sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
	before freezing parent. If the declarations are mutually recursive,
	an access to the current record type may be frozen before the
	derivation is complete.

From-SVN: r47894