2011-09-05 Bob Duff <duff@adacore.com>

2011-09-05  Bob Duff  <duff@adacore.com>

	* sem_res.adb (Resolve_Intrinsic_Operator): Use unchecked
	conversions instead of normal type conversions in all cases where a
	type conversion would be illegal. In particular, use unchecked
	conversions when the operand types are private.

2011-09-05  Johannes Kanig  <kanig@adacore.com>

	* lib-xref-alfa.adb (Is_Alfa_Reference): Never declare effects on
	objects of task type or protected type.

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