r220276 - in /trunk/gcc/ada: ChangeLog sem_disp...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan 30 09:29:51 2015
New Revision: 220276

URL: https://gcc.gnu.org/viewcvs?rev=220276&root=gcc&view=rev
Log:
2015-01-30  Ed Schonberg  <schonberg@adacore.com>

	* sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity
	or a function call, return True if type is class-wide.
	* sem_res.adb (Resolve_Case_Expression, Resolve_If_Expression);
	Apply RM 4.5.7 (17/3): all or none of the dependent expression
	of a conditional expression must be dynamically tagged.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_disp.adb
    trunk/gcc/ada/sem_res.adb