[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 23 Nov 2011 10:54:21 +0000 (11:54 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 23 Nov 2011 10:54:21 +0000 (11:54 +0100)
commit95160516ff06f6d2dfa2533e5367ef89cfad3c3b
tree18c81dda2bbaf7209f58f9c7ba13bce69933bfb1
parentbd8aaa863de6c4818913188a26f2b9b89b69d6ca
[multiple changes]

2011-11-23  Robert Dewar  <dewar@adacore.com>

* exp_util.adb, par-ch6.adb, sem_res.adb, par-util.adb: Minor
reformatting.

2011-11-23  Yannick Moy  <moy@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): Place error on
line of precondition/ postcondition/invariant.
2011-11-23  Pascal Obry  <obry@adacore.com>

* g-exptty.ads, g-exptty.adb, g-tty.ads, g-tty.adb,
terminals.c: New files.
Makefile.rtl: Add these new files.
* gnat_rm.texi: Add documentation for GNAT.Expect.TTY.
* gcc-interface/Makefile.in: Add g-exptty, g-tty, terminals.o
* gcc-interface/Make-lang.in: Update dependencies.

From-SVN: r181655
15 files changed:
gcc/ada/ChangeLog
gcc/ada/Makefile.rtl
gcc/ada/exp_util.adb
gcc/ada/g-exptty.adb [new file with mode: 0644]
gcc/ada/g-exptty.ads [new file with mode: 0644]
gcc/ada/g-tty.adb [new file with mode: 0644]
gcc/ada/g-tty.ads [new file with mode: 0644]
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/gcc-interface/Makefile.in
gcc/ada/gnat_rm.texi
gcc/ada/par-ch6.adb
gcc/ada/par-util.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_res.adb
gcc/ada/terminals.c [new file with mode: 0644]