2006-02-17 Javier Miranda <miranda@adacore.com>

	* sem_res.adb (Resolve_Type_Conversion): In case of conversion to an
	abstract interface type, the static analysis is not enough to know if
	the interface is implemented or not by the source tagged type. Hence
	we must pass the work to the expander to generate the required code to
	evaluate the conversion at run-time.
	(Resolve_Equality_Op): Do not apply previous
	transformation if expansion is disasbled, to prevent anomalies when
	locating global references in a generic unit.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111195 138bc75d-0d04-0410-961f-82ee72b054a4