[Bug tree-optimization/83640] [8 Regression] ICE in generic_overlap, at gimple-ssa-warn-restrict.c:814

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83640

--- Comment #7 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Author: law
Date: Sun Jan  7 04:19:35 2018
New Revision: 256319

URL: https://gcc.gnu.org/viewcvs?rev=256319&root=gcc&view=rev
Log:
2018-01-06  Martin Sebor  <mse...@redhat.com>

        PR tree-optimization/83640
        * gimple-ssa-warn-restrict.c (builtin_access::builtin_access): Avoid
        subtracting negative offset from size.
        (builtin_access::overlap): Adjust offset bounds of the access to fall
        within the size of the object if possible.

        PR tree-optimization/83640
        * gcc.dg/Wrestrict-6.c: New test.
        * gcc.dg/pr83640.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/Wrestrict-6.c
    trunk/gcc/testsuite/gcc.dg/pr83640.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-warn-restrict.c
    trunk/gcc/testsuite/ChangeLog