diff options
| author | Vladimir N. Makarov <vmakarov@redhat.com> | 2020-02-06 17:10:58 -0500 |
|---|---|---|
| committer | Vladimir N. Makarov <vmakarov@redhat.com> | 2020-02-06 17:10:58 -0500 |
| commit | d26f37a16e3ed3d75a93ffb1da10c44c36a8a36d (patch) | |
| tree | e776ea075abb28771d25d23c6d83845f623184df | |
| parent | cb273d81a45092ceee793f0357526e291f03c7b7 (diff) | |
| download | gcc-d26f37a16e3ed3d75a93ffb1da10c44c36a8a36d.zip gcc-d26f37a16e3ed3d75a93ffb1da10c44c36a8a36d.tar.gz gcc-d26f37a16e3ed3d75a93ffb1da10c44c36a8a36d.tar.bz2 | |
PR93561 -- [bounds checking] memory overflow for spill_for
2020-02-06 <zhongyunde@huawei.com>
Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/93561
* lra-assigns.c (spill_for): Check that tested hard regno is not out of
hard register range.
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/lra-assigns.c | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1754aa7..aec58a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2020-02-06 <zhongyunde@huawei.com> + Vladimir Makarov <vmakarov@redhat.com> + + PR rtl-optimization/93561 + * lra-assigns.c (spill_for): Check that tested hard regno is not out of + hard register range. + 2020-02-06 Richard Sandiford <richard.sandiford@arm.com> * config/aarch64/aarch64.md (aarch64_movk<mode>): Add a type diff --git a/gcc/lra-assigns.c b/gcc/lra-assigns.c index 031ce40..40e323c 100644 --- a/gcc/lra-assigns.c +++ b/gcc/lra-assigns.c @@ -964,6 +964,8 @@ spill_for (int regno, bitmap spilled_pseudo_bitmap, bool first_p) bitmap_clear (&spill_pseudos_bitmap); for (j = hard_regno_nregs (hard_regno, mode) - 1; j >= 0; j--) { + if (hard_regno + j >= FIRST_PSEUDO_REGISTER) + break; if (try_hard_reg_pseudos_check[hard_regno + j] != curr_pseudo_check) continue; lra_assert (!bitmap_empty_p (&try_hard_reg_pseudos[hard_regno + j])); |