[Bug tree-optimization/83391] New: [8 Regression] error: definition in block 9 does not dominate use in block 8

trippels at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Dec 12 10:20:00 GMT 2017


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

            Bug ID: 83391
           Summary: [8 Regression] error: definition in block 9 does not
                    dominate use in block 8
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
  Target Milestone: ---

On ppc64le:

trippels@gcc2-power8 src % < node_url.ii
char a;
enum url_parse_state { kSchemeStart, kScheme, kRelative } b;
int c, d;
void fn1() {
  int e;
  bool f;
  url_parse_state g = b;
  while (1) {
    char h = a ? d : 0;
    switch (g) {
    case 0:
      f = h <= 'Z' || h >= 'a' && h <= 'z';
      break;
    case 1: {
      char i = h;
      e = 0;
    }
      if (e || h)
        g = kRelative;
    default:
      c = 0;
    }
  }
}

trippels@gcc2-power8 src % g++ -c -O2 node_url.ii
trippels@gcc2-power8 src % g++ -g -c -O2 node_url.ii
node_url.ii: In function ‘void fn1()’:
node_url.ii:4:6: error: definition in block 9 does not dominate use in block 8
 void fn1() {
      ^~~
for SSA_NAME: iftmp.0_19 in statement:
# DEBUG i => iftmp.0_19
during GIMPLE pass: dom
node_url.ii:4:6: internal compiler error: verify_ssa failed
0x10f0e35b verify_ssa(bool, bool)
        ../../gcc/gcc/tree-ssa.c:1188
0x10b03b07 execute_function_todo
        ../../gcc/gcc/passes.c:2001
0x10b0514b do_per_function
        ../../gcc/gcc/passes.c:1659
0x10b0535b execute_todo
        ../../gcc/gcc/passes.c:2048


More information about the Gcc-bugs mailing list