projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4510e5) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 13:25:43 +0000 (15:25 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2014 13:25:43 +0000 (15:25 +0200)
commit7f3d273a22571f6dd578c079dbdba9340790c8c2
tree047edbc0cc4961fde196361f084e5fd0cdd7a076tree
parentf4510e5e6dcb5fe385e5e636a95f87b2a8209361commit | diff
[multiple changes]

2014-07-31  Robert Dewar  <dewar@adacore.com>

* exp_strm.adb: Minor reformatting.

2014-07-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Build_Wrapper): New procedure, subsidiary to
Analyze_Associations, to create a wrapper around operators that
are actuals to formal subprograms. This is done in GNATProve
mode in order to propagate the contracts of the operators to
the body of the instance.

From-SVN: r213363
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_strm.adb diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history