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