diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-23 08:13:26 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-23 08:13:26 +0000 |
| commit | a7191e01187b6ff6429699f09fed8f3fbb018b74 (patch) | |
| tree | 932336e21fd305ec8e1da336789d58030323270d /gcc/bitmap.c | |
| parent | f9534f4bd63c9f4be7816f0f9bd8a5feeded5821 (diff) | |
| download | gcc-a7191e01187b6ff6429699f09fed8f3fbb018b74.zip gcc-a7191e01187b6ff6429699f09fed8f3fbb018b74.tar.gz gcc-a7191e01187b6ff6429699f09fed8f3fbb018b74.tar.bz2 | |
[Ada] Eliminate redundant overflow checks for conversions from fixed-point
This eliminates redundant overflow checks that are generated for
conversions from fixed-point to integer types when range checks are also
enabled (which is the default), as the former checks are subsumed into
the latter checks.
No functional changes.
2019-07-23 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* checks.adb (Activate_Overflow_Check): Remove redundant
argument.
* exp_ch4.adb (Discrete_Range_Check): Reset the overflow flag.
(Expand_N_Type_Conversion): Do not reset it here.
From-SVN: r273724
Diffstat (limited to 'gcc/bitmap.c')
0 files changed, 0 insertions, 0 deletions