[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 27 Sep 2011 09:54:10 +0000 (11:54 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 27 Sep 2011 09:54:10 +0000 (11:54 +0200)
commit65e78a74b676f392436fb36ee82fc0b5cc57f313
tree0a7b6c7112ac119f5cabc47d74ee65a7bd493ba7
parent6f5add73cd2e49d770b4ff4255f06381e8cfd6cb
[multiple changes]

2011-09-27  Ed Schonberg  <schonberg@adacore.com>

* sinfo.ads, par-ch3.adb: Minor comment update: aspect specification
on subtype declarations.
* exp_aggr.adb: Minor comment update.

2011-09-27  Eric Botcazou  <ebotcazou@adacore.com>

* exp_util.adb (Safe_Prefixed_Reference): Remove always-false
test in the N_Explicit_Dereference case.  Fold double logical
negation in the special loop case and conditionalize it on
Variable_Ref being true.

2011-09-27  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_Selected_Component): If the prefix is a
single protected object and the selector is a discriminant or an
entry family, this is a non-overloaded candidate interpretation,
and possible primitive operations of the type must not be
examined.

2011-09-27  Arnaud Charlet  <charlet@adacore.com>

* s-taspri-posix-noaltstack.ads (Lock): Mark fields aliased.

From-SVN: r179255
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb
gcc/ada/exp_util.adb
gcc/ada/par-ch3.adb
gcc/ada/s-taspri-posix-noaltstack.ads
gcc/ada/sem_ch4.adb
gcc/ada/sinfo.ads