diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-07 15:05:08 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-07 15:05:08 +0200 |
| commit | 0e77949e878dd109ee7daffcda12faa1a8000d29 (patch) | |
| tree | 5124c182f5e68317d94f9bf2746f501ba4f7e9e8 /libjava/java/sql | |
| parent | 7dccd19430283ffe5aac0bf55e42f84f5edcddcb (diff) | |
| download | gcc-0e77949e878dd109ee7daffcda12faa1a8000d29.zip gcc-0e77949e878dd109ee7daffcda12faa1a8000d29.tar.gz gcc-0e77949e878dd109ee7daffcda12faa1a8000d29.tar.bz2 | |
[multiple changes]
2016-07-07 Ed Schonberg <schonberg@adacore.com>
* sem_prag.ads, sem_prag.adb (Build_Classwide_Expression): Include
overridden operation as parameter, in order to map formals of
the overridden and overring operation properly prior to rewriting
the inherited condition.
* freeze.adb (Check_Inherited_Cnonditions): Change call to
Build_Class_Wide_Expression accordingly. In Spark_Mode, add
call to analyze the contract of the parent operation, prior to
mapping formals between operations.
2016-07-07 Arnaud Charlet <charlet@adacore.com>
* adabkend.adb (Scan_Back_End_Switches): Ignore -o/-G switches
as done in back_end.adb.
(Scan_Compiler_Args): Remove special case for CodePeer/SPARK, no longer
needed, and prevents proper handling of multi-unit sources.
2016-07-07 Thomas Quinot <quinot@adacore.com>
* g-sechas.adb, g-sechas.ads (GNAT.Secure_Hashes.H): Add Hash_Stream
type with Write primitive calling Update on the underlying context
(and dummy Read primitive raising P_E).
2016-07-07 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb: Minor reformatting.
From-SVN: r238111
Diffstat (limited to 'libjava/java/sql')
0 files changed, 0 insertions, 0 deletions