source: tests/exceptions/try-ctrl-flow.cfa@ ad47ec4

// Check all the local control flow structures that are "sealed" by some the
// try statement clauses; where structured programming is stricter.

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;
                }
        }
}

// Now just use return to test the other try control flow interactions.

exception nil_exception {};

void return_in_try_with_catch() {
        try {
                return;
        } catch (nil_exception *) {
                ;
        }
}

// Allowed.
void return_in_try_with_catchReturn() {
        try {
                return;
        } catchResume (nil_exception *) {
                ;
        }
}

// Allowed.
void return_in_try_with_finally() {
        try {
                return;
        } finally {
                ;
        }
}

void return_in_catchResume() {
        try {
                ;
        } catchResume (nil_exception *) {
                return;
        }
}

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