r123598 - in /trunk/gcc/ada: sem_type.adb sem_t...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Apr  6 10:27:13 2007
New Revision: 123598

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123598
Log:
2007-04-06  Ed Schonberg  <schonberg@adacore.com>
	    Javier Miranda  <miranda@adacore.com>

	* sem_type.ads, sem_type.adb (Has_Abstract_Interpretation): Make
	predicate recursive, to handle complex expressions on literals whose
	spurious ambiguity comes from the abstract interpretation of some
	subexpression.
	(Interface_Present_In_Ancestor): Add support to concurrent record
	types.
	(Add_One_Interp,Disambiguate): Split Is_Abstract flag into
	Is_Abstract_Subprogram and Is_Abstract_Type.


Modified:
    trunk/gcc/ada/sem_type.adb
    trunk/gcc/ada/sem_type.ads