[Bug tree-optimization/77916] [6 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 #9 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Author: wschmidt
Date: Mon Oct 24 02:36:40 2016
New Revision: 241461

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

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

        Backport from mainline
        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.
        (insert_initializers): Requirement of initializer for -1 should be
        based on pointer-typedness of the candidate basis.

[gcc/testsuite]

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

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

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


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