[Bug tree-optimization/84417] New: internal compiler error: verify_gimple failed

[shlei930 at gmail dot com]

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

            Bug ID: 84417
           Summary: internal compiler error: verify_gimple failed
           Product: gcc
           Version: 8.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shlei930 at gmail dot com
  Target Milestone: ---

$gcc-trunk -v
gcc version 8.0.1 20180208 (experimental) [trunk revision 257504] (GCC)
Target: x86_64-pc-linux-gnu
Thread model: posix

$gcc-trunk -O3 -c abc.c
abc.c:1:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
 fn1() {
 ^~~
abc.c: In function ‘fn1’:
abc.c:3:15: warning: initialization of ‘double *’ from incompatible pointer
type ‘__vector(1) double *’ [-Wincompatible-pointer-types]
   double *a = &x;
               ^
abc.c:5:1: error: invalid position or size operand to BIT_FIELD_REF
 }
 ^
BIT_FIELD_REF <x_7(D), 64, 0x54e373edd85ffffc0>
abc.c:4:8: note: in statement
   *a + *(a + 8446744073709551615);
        ^~~~~~~~~~~~~~~~~~~~~~~~~~
_3 = BIT_FIELD_REF <x_7(D), 64, 0x54e373edd85ffffc0>;
during GIMPLE pass: ccp
abc.c:5:1: internal compiler error: verify_gimple failed
 }
 ^
0xcf97e3 verify_gimple_in_cfg(function*, bool)
        ../../gcc/gcc/tree-cfg.c:5575
0xbd8d5f execute_function_todo
        ../../gcc/gcc/passes.c:1994
0xbd9cae execute_todo
        ../../gcc/gcc/passes.c:2048
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.

$cat abc.c
fn1() {
  __attribute__((__vector_size__(sizeof(double)))) double x;
  double *a = &x;
  *a + *(a + 8446744073709551615);
}