projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7730df1) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 12 Oct 2010 10:41:11 +0000 (12:41 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 12 Oct 2010 10:41:11 +0000 (12:41 +0200)
commitf0709ca650996f4df1d8d9a7015b8dc127ea3ed3
tree6a2db5d52e99edf5a8aa22f222c92dd10217a304tree | snapshot
parent7730df143ca83fef65f64299856c8072bf21a453commit | diff
[multiple changes]

2010-10-12  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb (Process_PPCs): Handle inherited postconditions.

2010-10-12  Arnaud Charlet  <charlet@adacore.com>

* exp_disp.adb (Set_All_DT_Position): Disable emit error message on
abstract inherited private operation in CodePeer mode.

From-SVN: r165358
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_disp.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
Domain: System / Toolchain;