r276093 - in /trunk/gcc: ChangeLog ipa-sra.c te...

[jamborm@gcc.gnu.org]

Author: jamborm
Date: Tue Sep 24 11:16:57 2019
New Revision: 276093

URL: https://gcc.gnu.org/viewcvs?rev=276093&root=gcc&view=rev
Log:
[PR 91832] Do not ICE on negative offsets in ipa-sra

Hi,

IPA-SRA asserts that an offset obtained from get_ref_base_and_extent
is non-negative (after it verifies it is based on a parameter).  That
assumption is invalid as the testcase shows.  One could probably also write a
testcase with defined behavior, but unless I see a reasonable one
where the transformation is really desirable, I'd like to just punt on
those cases.

Bootstrapped and tested on x86_64-linux.  OK for trunk?

Thanks,

Martin

2019-09-24  Martin Jambor  <mjambor@suse.cz>

	PR ipa/91832
	* ipa-sra.c (scan_expr_access): Check that offset is non-negative.

	testsuite/
	* gcc.dg/ipa/pr91832.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/ipa/pr91832.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-sra.c
    trunk/gcc/testsuite/ChangeLog