diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:25:43 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:25:43 +0200 |
| commit | 7f3d273a22571f6dd578c079dbdba9340790c8c2 (patch) | |
| tree | 047edbc0cc4961fde196361f084e5fd0cdd7a076 /gcc/ada/gcc-interface/misc.c | |
| parent | f4510e5e6dcb5fe385e5e636a95f87b2a8209361 (diff) | |
| download | gcc-7f3d273a22571f6dd578c079dbdba9340790c8c2.zip gcc-7f3d273a22571f6dd578c079dbdba9340790c8c2.tar.gz gcc-7f3d273a22571f6dd578c079dbdba9340790c8c2.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
0 files changed, 0 insertions, 0 deletions