| commit | 52ae671c8b340a0c782ecc77637a1e18dd343417 | |
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 22 Nov 2017 12:35:26 +0000 (22 12:35 +0000) | ||
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 22 Nov 2017 12:35:26 +0000 (22 12:35 +0000) | ||
| tree | a521783bec9aa30d6cddf1a23ea52f02f1239b4c | treesnapshot (tar.gz zip) |
| parent | 168671180a44cb2a469ea70e9fa84af8b6f75dd9 | commitdiff |
PR tree-optimization/83044
* tree-vrp.c (vrp_prop::check_array_ref): If eltsize is not
INTEGER_CST or is 0, clear up_bound{,_p1} and later ignore tests
that need the upper bound. Subtract offset from
get_addr_base_and_unit_offset only if positive and subtract it
before division by eltsize rather than after it.
* gcc.dg/pr83044.c: New test.
* c-c++-common/Warray-bounds.c (fb): Fix up MAX value.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255054 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (vrp_prop::check_array_ref): If eltsize is not
INTEGER_CST or is 0, clear up_bound{,_p1} and later ignore tests
that need the upper bound. Subtract offset from
get_addr_base_and_unit_offset only if positive and subtract it
before division by eltsize rather than after it.
* gcc.dg/pr83044.c: New test.
* c-c++-common/Warray-bounds.c (fb): Fix up MAX value.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255054 138bc75d-0d04-0410-961f-82ee72b054a4