initial version

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pureJava/AssertsCF.java b/tests/pureJava/AssertsCF.java
new file mode 100644
index 000000000..dece98837
--- /dev/null
+++ b/tests/pureJava/AssertsCF.java
@@ -0,0 +1,13 @@
+import org.aspectj.testing.Tester;
+
+public class AssertsCF {
+    public static void main(String[] args) {
+        int x = 0;
+        boolean b;
+        
+        assert b; // ERR: b might not be assigned
+
+        assert b=false;
+        if (b) {} // ERR: b might not be assigned
+    }
+}