[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 14 Jun 2010 12:51:24 +0000 (14:51 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 14 Jun 2010 12:51:24 +0000 (14:51 +0200)
commit001c7783c467b58d6107b6cf5e4d9b101c4d80dc
tree572b42099456bca62d54cc5fb472058475deca85
parentee81cbe97718536484b0b623ff875d4a3fabbce0
[multiple changes]

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_util (Is_VMS_Operator): New predicate to determine whether an
operator is an intrinsic operator declared in the DEC system extension.
* sem_res.adb (Resolve_Logical_Op): operation is legal on signed types
if the operator is a VMS intrinsic.
* sem_eval.adb (Eval_Logical_Op): Operation is legal and be
constant-folded if the operands are signed and the operator is a VMS
intrinsic.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* g-socket.adb, gnatcmd.adb: Minor reformatting

From-SVN: r160734
gcc/ada/ChangeLog
gcc/ada/g-socket.adb
gcc/ada/gnatcmd.adb
gcc/ada/sem_eval.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads