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 /gcc/lra-assigns.c | |
| 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.
Diffstat (limited to 'gcc/lra-assigns.c')
| -rw-r--r-- | gcc/lra-assigns.c | 2 |
1 files changed, 2 insertions, 0 deletions
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])); |