r123595 - /trunk/gcc/ada/sem_ch5.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Apr  6 10:26:37 2007
New Revision: 123595

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123595
Log:
2007-04-06  Ed Schonberg  <schonberg@adacore.com>
	    Robert Dewar  <dewar@adacore.com>

	* sem_ch5.adb (Analyze_Assignment): Reject a right-hand side that is a
	tag-indeterminate call to an abstract function, when the left-hand side
	is not classwide.
	(Analyze_Loop_Statement): Improve detection of infinite loops


Modified:
    trunk/gcc/ada/sem_ch5.adb