unreach.dcf

来自「用Java实现的编译器。把源代码编译成SPARC汇编程序」· DCF 代码 · 共 51 行

class Program {

  void foo1() {
    callout("printf","in foo1\n");
    return;
    callout("printf","You should not see this.\n");
  }

  void foo2() {
    callout("printf","in foo2\n");
    while (true) {  // should remove test
      callout("printf","in loop\n");
      return;
    }

    callout("printf","after loop\n"); // should remove
    return;                           // should remove
    callout("printf","after loop\n"); // should remove
  }

  void foo3() { // Entire proc can be removed
    callout("printf","in foo3\n");
  }
  
  void main() {
    int a;
    
    if (true) { // should remove test
      callout("printf","if true\n");
    }

    if (false) { // should remove
      callout("printf","if false\n"); // should remove
    }

    if (a == a) {  // may remove test (possibly due to other opts)
      callout("printf","if a==a");
    }
    
    while (false) { // should remove
      callout("printf","while false\n");
    }

    foo1();
    foo2();
  }
}