diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:07:29 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:07:29 +0100 |
| commit | 91afcbfd3e01c23efbfb2685fa2ece8bd6b218b8 (patch) | |
| tree | 5dce348cded3095c59dba0d58ecf59d4cdecbc31 /gcc/ada/adaint.c | |
| parent | 966fc9c554d6579316ea3cdebce09e0e095812c9 (diff) | |
| download | gcc-91afcbfd3e01c23efbfb2685fa2ece8bd6b218b8.zip gcc-91afcbfd3e01c23efbfb2685fa2ece8bd6b218b8.tar.gz gcc-91afcbfd3e01c23efbfb2685fa2ece8bd6b218b8.tar.bz2 | |
[multiple changes]
2015-01-06 Arnaud Charlet <charlet@adacore.com>
* a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).
2015-01-06 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.
2015-01-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Expand_Interface_Conversion): No displacement
of the pointer to the object needed when the type of the operand
is not an interface type and the interface is one of its parent
types (since they share the primary dispatch table).
From-SVN: r219227
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions