| import java.util.LinkedList; |
| import org.checkerframework.checker.nullness.qual.*; |
| |
| class MyTS extends LinkedList {} |
| |
| public class DefaultLoops { |
| void m() { |
| MyTS ts = new MyTS(); |
| // s should default to @Nullable |
| for (Object s : ts) {} |
| } |
| |
| void bar() { |
| for (int i = 0; i < 100; ++i) { |
| // nullable by default |
| Object o; |
| o = null; |
| // :: error: (dereference.of.nullable) |
| o.hashCode(); |
| o = new Object(); |
| o.hashCode(); |
| } |
| for (int i = 0; i < 100; ++i) { |
| // nullable by default |
| Object o; |
| o = new Object(); |
| o.hashCode(); |
| } |
| int i = 0; |
| // nullable by default |
| for (Object o2; i < 100; ++i) { |
| o2 = null; |
| int i3 = new Object().hashCode(); |
| } |
| } |
| } |