[Bug tree-optimization/77916] [6/7 Regression] ICE in verify_gimple_in_cfg: invalid (pointer) operands to plus/minus

[wschmidt at gcc dot gnu.org]

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

--- Comment #4 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Author: wschmidt
Date: Mon Oct 17 22:08:56 2016
New Revision: 241281

URL: https://gcc.gnu.org/viewcvs?rev=241281&root=gcc&view=rev
Log:
[gcc]

2016-10-17  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

        PR tree-optimization/77916
        * gimple-ssa-strength-reduction.c (create_add_on_incoming_edge):
        Don't allow a MINUS_EXPR for pointer arithmetic for either known
        or unknown strides.
        (record_increment): Increments of -1 for unknown strides just use
        a multiply initializer like other negative values.
        (analyze_increments): Remove stopgap solution for -1 increment
        applied to pointer arithmetic.

[gcc/testsuite]

2016-10-17  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

        PR tree-optimization/77916
        * gcc.dg/torture/pr77916.c: New.


Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr77916.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-strength-reduction.c
    trunk/gcc/testsuite/ChangeLog