[Bug tree-optimization/85597] New: internal compiler error: in compute_live_loop_exits, at tree-ssa-loop-manip.c:229

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

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

            Bug ID: 85597
           Summary: internal compiler error: in compute_live_loop_exits,
                    at tree-ssa-loop-manip.c:229
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org
  Target Milestone: ---

Target: x86_64-pc-linux-gnu
gcc version 9.0.0 20180501 (experimental) (GCC)

$ cat q.c
extern double fma (double, double, double);

static inline void
bar (int i, double *D, double *S)
{
  while (i-- > 0)
    {
      D[0] = fma (1, S[0], D[0]);
      D[1] = fma (1, S[1], D[1]);
      D[2] = fma (1, S[2], D[2]);
      D[3] = fma (1, S[3], D[3]);
      D += 4;
      S += 4;
    }
}

void
foo (double *d, double *s)
{
  bar (10, d, s);
}

$ ./cc1 -quiet q.c -O3 -mfma
during GIMPLE pass: vect
q.c: In function ‘foo’:
q.c:18:1: internal compiler error: in compute_live_loop_exits, at
tree-ssa-loop-manip.c:229
 foo (double *d, double *s)
 ^~~
0x11872fa compute_live_loop_exits
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop-manip.c:229
0x1187708 add_exit_phis_var
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop-manip.c:316
0x1187826 add_exit_phis
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop-manip.c:338
0x1188327 rewrite_into_loop_closed_ssa_1(bitmap_head*, unsigned int, int,
loop*)
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop-manip.c:660
0x1188380 rewrite_into_loop_closed_ssa(bitmap_head*, unsigned int)
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop-manip.c:681
0x13003b0 vectorize_loops()
        /home/mpolacek/src/gcc/gcc/tree-vectorizer.c:853
0x11a70b1 execute
        /home/mpolacek/src/gcc/gcc/tree-ssa-loop.c:414
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.