void () { Object o = null; while (true) { try { System.out.println("hello"); break; } finally { o = ""; } } if (<warning descr="Condition 'o != null' is always 'true'">o != null</warning>) { System.out.println("fred"); } }