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/a-reatim.adb | |
| 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/a-reatim.adb')
| -rw-r--r-- | gcc/ada/a-reatim.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/a-reatim.adb b/gcc/ada/a-reatim.adb index ef0632b..f59d083 100644 --- a/gcc/ada/a-reatim.adb +++ b/gcc/ada/a-reatim.adb @@ -7,7 +7,7 @@ -- B o d y -- -- -- -- Copyright (C) 1991-1994, Florida State University -- --- Copyright (C) 1995-2010, AdaCore -- +-- Copyright (C) 1995-2014, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -114,12 +114,14 @@ package body Ada.Real_Time is function "/" (Left, Right : Time_Span) return Integer is pragma Unsuppress (Overflow_Check); + pragma Unsuppress (Division_Check); begin return Integer (Duration (Left) / Duration (Right)); end "/"; function "/" (Left : Time_Span; Right : Integer) return Time_Span is pragma Unsuppress (Overflow_Check); + pragma Unsuppress (Division_Check); begin return Time_Span (Duration (Left) / Right); end "/"; |