[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 5 Sep 2011 12:58:26 +0000 (14:58 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 5 Sep 2011 12:58:26 +0000 (14:58 +0200)
commit7109f4f52da4ea189b04aeb29a077d140855cb52
tree066827c96ac7d0b966728b9e27ebe3f6ed3cef82
parent66dc8075f33117924fc1596721708e979912e20e
[multiple changes]

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.

From-SVN: r178531
gcc/ada/ChangeLog
gcc/ada/lib-xref-alfa.adb
gcc/ada/sem_res.adb