r133572 - /trunk/gcc/ada/sem_cat.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Mar 26 07:41:04 2008
New Revision: 133572

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133572
Log:
2008-03-26  Thomas Quinot  <quinot@adacore.com>

	* sem_cat.adb (Validate_RACW_Primitives): Do not rely on
	Comes_From_Source to exclude primitives from being checked. We want to
	exclude predefined primitives only, so use the appropriate specific
	predicate. Also, flag a formal parameter of an anonymous
	access-to-subprogram type as illegal for a primitive operation of a
	remote access to class-wide type.


Modified:
    trunk/gcc/ada/sem_cat.adb