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

["ktkachov at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 77916
           Summary: [6/7 Regression] ICE in verify_gimple_in_cfg: invalid
                    (pointer) operands to plus/minus
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
  Target Milestone: ---

The following testcase ICEs for me on aarch64 with -O3
on GCC 6 and trunk (GCC 7)

typedef struct
{
  void *f1;
} S;

S *a;
int b;

void
fn1 (void)
{
  for (; b; b++, a++)
    a->f1 = b;
}


foo.c: In function 'fn1':
foo.c:13:11: warning: assignment makes pointer from integer without a cast
[-Wint-conversion]
     a->f1 = b;
           ^
foo.c:10:1: error: invalid (pointer) operands to plus/minus
 fn1 (void)
 ^~~
slsr_65 = _108 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_94 = _118 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_158 = _128 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_160 = _138 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_162 = _148 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_166 = _9 + 1B;
foo.c:10:1: error: invalid (pointer) operands to plus/minus
slsr_164 = _96 + 1B;
foo.c:10:1: internal compiler error: verify_gimple failed
0xb89e64 verify_gimple_in_cfg(function*, bool)
        $SRC/gcc/tree-cfg.c:5208
0xa6a457 execute_function_todo
        $SRC/gcc/passes.c:1964
0xa6a777 do_per_function
        $SRC/gcc/passes.c:1648
0xa6a895 execute_todo
        $SRC/gcc/passes.c:2014