projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 132bbd7) | patch
2014-07-31 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2014 13:25:43 +0000 (13:25 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 31 Jul 2014 13:25:43 +0000 (13:25 +0000)
commit0ad073cde16951d49f9c30c8ad16ba261954983f
tree047edbc0cc4961fde196361f084e5fd0cdd7a076tree | snapshot
parent132bbd7ac6a0dc0e3338376bbb5b4ec320925473commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213363 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_strm.adb diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
Domain: System / Toolchain;