package npe;

public class InSwitchStatement {

	int f(int x) {
		String s = null;
		switch (x) {
		case 0:
			s = "zero";
			break;
		case 1:
			s = "one";
			break;
		case 2:
			// impossible
			break;
		default:
			s = "unknown";
		}
		return s.hashCode();
	}

}

Make sure we flag this at the right location
Make sure we flag this at the right location


git-svn-id: e7d6bde23f017c9ff4efd468d79d66def666766b@5965 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
