| public class Issue160 { |
| public static void t1() { |
| String s = null; |
| if (s != null) { |
| } else { |
| return; |
| } |
| System.out.println(s.toString()); |
| } |
| |
| public static void t2() { |
| String s = null; |
| if (s != null) { |
| } else { |
| throw new RuntimeException(); |
| } |
| System.out.println(s.toString()); |
| } |
| |
| public static void t3() { |
| String s = null; |
| if (s != null) { |
| } else { |
| System.exit(0); |
| } |
| System.out.println(s.toString()); |
| } |
| |
| public static void t1b() { |
| String s = null; |
| if (s == null) { |
| } else { |
| return; |
| } |
| // :: error: (dereference.of.nullable) |
| System.out.println(s.toString()); |
| } |
| |
| public static void t2b() { |
| String s = null; |
| if (s == null) { |
| } else { |
| throw new RuntimeException(); |
| } |
| // :: error: (dereference.of.nullable) |
| System.out.println(s.toString()); |
| } |
| |
| public static void t3b() { |
| String s = null; |
| if (s == null) { |
| } else { |
| System.exit(0); |
| } |
| // :: error: (dereference.of.nullable) |
| System.out.println(s.toString()); |
| } |
| } |