initial version

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/new/DefiniteStatic.java b/tests/new/DefiniteStatic.java
new file mode 100644
index 000000000..7f9db6a12
--- /dev/null
+++ b/tests/new/DefiniteStatic.java
@@ -0,0 +1,11 @@
+
+class Type { }
+
+class bat {
+    public static final Type SOURCE = new Type();
+}
+public class DefiniteStatic {
+    protected static final Type SINK = bat.SOURCE; 
+    public Type sink = SINK;    // incorrect CE: field SINK might not have a value
+    public static void main(String[] args) { }
+}