WALA/com.ibm.wala.cast.js.test.data/examples-src/tests/dead.js

function twoReturns(x) {
	if (x != 0) {
		return 1;
	} else {
		return 2;
	}
	if (x > 7) {
		x++;
	}
	return -1;
}

twoReturns(7);