Bug ID: 83887
           Summary: [8 Regression] [graphite] ICE in verify_dominators, at
                    dominance.c:1184 (error: dominator of 3 should be 21,
                    not 18)
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-8.0.0-alpha20180114 snapshot (r256677) ICEs when compiling the following
snippet w/ -O1 (-O2, -O3, -Ofast) -floop-nest-optimize -fno-tree-loop-im:

int z4, g7;

x3 (int my)
  while (my < 2)
      for (z4 = 0; z4 < 2; ++z4)

      if (my != 0)
        for (g7 = 0; g7 < 2; ++g7)


% gcc-8.0.0-alpha20180114 -O1 -floop-nest-optimize -fno-tree-loop-im -c
oiutipaf.c: In function 'x3':
oiutipaf.c:4:1: error: dominator of 3 should be 21, not 18
 x3 (int my)
during GIMPLE pass: graphite
oiutipaf.c:4:1: internal compiler error: in verify_dominators, at
0x5dbe5d verify_dominators(cdi_direction)
0x8f5495 checking_verify_dominators
0x8f5495 calculate_dominance_info(cdi_direction)
0xd231b6 update_ssa(unsigned int)
0x1445a70 graphite_transform_loops()
0x1446e10 graphite_transforms
0x1446e10 execute

Reply via email to