imperative control-flow and type-checking

DoFail.java

public class DoFail {
    public int f() {
        do {
            if (false) break;
            return 0;
        } while (true);
    }
}

DoPass.java

public class DoPass {
    public int f() {
        do {
            return 0;
        } while (true);
    }
}

ForFail.java

public class ForFail {
    public int f() {
        for (int x = 0; x < 10; x++) {
            return x;
        }
    }
}

SwitchDefaultFail.java

public class SwitchDefaultFail {

    public int f(int x) {
        switch (x) {
          case 0:
            if (false) break;
          default:
            return x;
        }
    }

}

SwitchDefaultPass.java

public class SwitchDefaultPass {

    public int f(int x) {
        switch (x) {
          case 0:
          default:
            return x;
        }
    }

}

SwitchNoDefaultFail.java

public class SwitchNoDefaultFail {

    public int f(int x) {
        switch (x) {
          case 0:
            return x;
        }
    }

}