diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-11-11 13:53:01 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2020-11-11 13:55:09 +0100 |
| commit | 1f8fc1f458c4a66618c35d8e292fff6e9dce9f12 (patch) | |
| tree | 540980b5d5baef54b3848408f3ba3ac8b6ede40f /gcc/ada/gcc-interface/trans.c | |
| parent | 4ac93608d7e33a3e10bbd8d50259bc00a7d01237 (diff) | |
| download | gcc-1f8fc1f458c4a66618c35d8e292fff6e9dce9f12.zip gcc-1f8fc1f458c4a66618c35d8e292fff6e9dce9f12.tar.gz gcc-1f8fc1f458c4a66618c35d8e292fff6e9dce9f12.tar.bz2 | |
Fix internal error with Shift_Right operator on signed type
This is a regression present on the mainline and 10 branch in the form
of an ICE with a shift operator applied to a variable of a signed type,
and which is caused by a type mismatch.
gcc/ada/ChangeLog:
* gcc-interface/trans.c (gnat_to_gnu) <N_Op_Shift>: Also convert
GNU_MAX_SHIFT if the type of the operation has been changed.
* gcc-interface/utils.c (can_materialize_object_renaming_p): Add
pair of missing parentheses.
gcc/testsuite/ChangeLog:
* gnat.dg/shift1.adb: New test.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 059e1a4..d0663a2 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -7085,6 +7085,8 @@ gnat_to_gnu (Node_Id gnat_node) if (TREE_CODE (gnu_lhs) == INTEGER_CST && ignore_lhs_overflow) TREE_OVERFLOW (gnu_lhs) = TREE_OVERFLOW (gnu_old_lhs); gnu_rhs = convert (gnu_type, gnu_rhs); + if (gnu_max_shift) + gnu_max_shift = convert (gnu_type, gnu_max_shift); } /* For signed integer addition, subtraction and multiplication, do an |