source: tests/exceptions/finally-error.cfa@ dbb1073

// All of these should be caught as long as the check remains in the same
// pass. (Although not even all of the checks are in place yet.)

void break_in_finally() {
        while (true) {
                try {} finally {
                        break;
                }
        }
}

void for_break_in_finally() {
        for (10) {
                try {} finally {
                        break;
                }
        }
}

void do_while_break_in_finally() {
        do {
                try {} finally {
                        break;
                }
        } while (false);
}

void continue_in_finally() {
        while (true) {
                try {} finally {
                        continue;
                }
        }
}

void goto_in_finally() {
        while (true) {
                try {} finally {
                        goto end_of_function;
                }
        }
        end_of_function: {}
}

void labelled_break_in_finally() {
        mainLoop: while (true) {
                try {} finally {
                        break mainLoop;
                }
        }
}

void labelled_continue_in_finally() {
        mainLoop: while (true) {
                try {} finally {
                        continue mainLoop;
                }
        }
}

void switch_break_in_finally() {
        switch (1) {
        case 1:
                try {} finally {
                        break;
                }
        default:
                break;
        }
}

void choose_break_in_finally() {
        choose (1) {
        case 1:
                try {} finally {
                        break;
                }
        default:
                break;
        }
}

void choose_fallthru_in_finally() {
        choose (1) {
        case 1:
                try {} finally {
                        fallthru;
                }
        default:
                break;
        }
}

void labelled_choose_break_in_finally() {
        mainBlock: choose (1) {
        case 1:
                try {} finally {
                        break mainBlock;
                }
        case 2:
                break;
        default:
                break;
        }
}

void labelled_choose_fallthru_in_finally() {
        mainBlock: choose (1) {
        case 1:
                try {} finally {
                        fallthru mainBlock;
                }
        case 2:
                break;
        default:
                break;
        }
}

void choose_fallthru_default_in_finally() {
        choose (1) {
        case 1:
                try {} finally {
                        fallthru default;
                }
        default:
                break;
        }
}

void void_return_in_finally() {
        try {} finally {
                return;
        }
}

int value_return_in_finally() {
        try {} finally {
                return -7;
        }

}

// Checked in the same place, make sure it does't break.
void break_in_function() {
        while (true) {
                void inner() {
                        break;
                }
        }
}

void main() {
        // Should not compile.
        return 1;
}