[Bug tree-optimization/88855] New: [9 Regression] ICE: verify_ssa failed (error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set)

[asolokha at gmx dot com]

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

            Bug ID: 88855
           Summary: [9 Regression] ICE: verify_ssa failed (error:
                    SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set)
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-checking, ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-9.0.0-alpha20190113 snapshot (r267906) ICEs when compiling
gcc/testsuite/gcc.dg/torture/pr82402.c w/ -O1 -ftree-loop-if-convert -ftree-vrp
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts:

% gcc-9.0.0-alpha20190113 -O1 -ftree-loop-if-convert -ftree-vrp
-fno-tree-copy-prop -fno-tree-dce -fno-tree-dominator-opts -c
gcc/testsuite/gcc.dg/torture/pr82402.c
gcc/testsuite/gcc.dg/torture/pr82402.c: In function 'e':
gcc/testsuite/gcc.dg/torture/pr82402.c:13:5: error:
SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set
   13 | int e ()
      |     ^
for SSA_NAME: .MEM_7 in statement:
.MEM_5(ab) = PHI <.MEM_7(5), .MEM_9(ab)(6)>
PHI argument
.MEM_7
for PHI node
.MEM_5(ab) = PHI <.MEM_7(5), .MEM_9(ab)(6)>
during GIMPLE pass: ifcvt
gcc/testsuite/gcc.dg/torture/pr82402.c:13:5: internal compiler error:
verify_ssa failed
0xf914ff verify_ssa(bool, bool)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/tree-ssa.c:1188
0xc897bd execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:1984
0xc8a5be execute_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20190113/work/gcc-9-20190113/gcc/passes.c:2031