// Check the superfluous-else warning.

void main() {
	while () {
		return;
	} else {
		abort();
	}
}