aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface/decl.c
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2020-03-11 10:54:22 +0100
committerJakub Jelinek <jakub@redhat.com>2020-03-11 10:54:22 +0100
commit42bc589e87a326282be2156ddeb18588677c645d (patch)
treef9c661c10acfe1576b68e097c17367e9b547523b /gcc/ada/gcc-interface/decl.c
parent60342fdbfb0630243d2b85d2ca45204ded990b17 (diff)
downloadgcc-42bc589e87a326282be2156ddeb18588677c645d.zip
gcc-42bc589e87a326282be2156ddeb18588677c645d.tar.gz
gcc-42bc589e87a326282be2156ddeb18588677c645d.tar.bz2
aarch64: Fix ICE in aarch64_add_offset_1 [PR94121]
abs_hwi asserts that the argument is not HOST_WIDE_INT_MIN and as the (invalid) testcase shows, the function can be called with such an offset. The following patch is IMHO minimal fix, absu_hwi unlike abs_hwi allows even that value and will return (unsigned HOST_WIDE_INT) HOST_WIDE_INT_MIN in that case. The function then uses moffset in two spots which wouldn't care if the value is (unsigned HOST_WIDE_INT) HOST_WIDE_INT_MIN or HOST_WIDE_INT_MIN and wouldn't accept it (!moffset and aarch64_uimm12_shift (moffset)), then in one spot where the signedness of moffset does matter and using unsigned is the right thing - moffset < 0x1000000 - and finally has code which will handle even this value right; the assembler doesn't really care for DImode immediates if mov x1, -9223372036854775808 or mov x1, 9223372036854775808 is used and similarly it doesn't matter if we add or sub it in DImode. 2020-03-11 Jakub Jelinek <jakub@redhat.com> PR target/94121 * config/aarch64/aarch64.c (aarch64_add_offset_1): Use absu_hwi instead of abs_hwi, change moffset type to unsigned HOST_WIDE_INT. * gcc.dg/pr94121.c: New test.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions