public class Foo { void m(boolean x) { while (x) { } return; } }