diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-22 13:58:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:58:32 +0000 |
| commit | 267c7ff6a07158cb9b904a8a5182ab498b039c72 (patch) | |
| tree | 3c1ee5671289d271dc12cd771402befe2ebdfa8d /gcc/tree-cfg.c | |
| parent | ad277369b236a39fff13c87a51a8e67f7562a80a (diff) | |
| download | gcc-267c7ff6a07158cb9b904a8a5182ab498b039c72.zip gcc-267c7ff6a07158cb9b904a8a5182ab498b039c72.tar.gz gcc-267c7ff6a07158cb9b904a8a5182ab498b039c72.tar.bz2 | |
[Ada] Fix missing check for no-op conversion to fixed-point type
This plugs a small loophole in the compiler for the case of a
multiplication or a division in a fixed-point type wrapped in a no-op
conversion, e.g. to the same fixed-point type.
The front-end fails to generate a range check for the operation. This
used to be caught by the back-end, which would generate the range check,
but this is no longer the case because we now make sure to reset the
Do_Range_Check flag in all cases before invoking the back-end.
2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_ch4.adb (Expand_N_Type_Conversion): Beef up comment.
(Fixup_Universal_Fixed_Operation): Set the base type instead of
the type of the enclosing type conversion on the operation.
gcc/testsuite/
* gnat.dg/fixedpnt6.adb: New testcase.
From-SVN: r273695
Diffstat (limited to 'gcc/tree-cfg.c')
0 files changed, 0 insertions, 0 deletions