1 files changed, 8 insertions, 0 deletions
diff --git a/tests/pureJava/AssertsCF2.java b/tests/pureJava/AssertsCF2.java
new file mode 100644
index 000000000..cdfb646bd
--- /dev/null
+++ b/tests/pureJava/AssertsCF2.java
@@ -0,0 +1,8 @@
+import org.aspectj.testing.Tester;
+
+public class AssertsCF2 {
+    public static void main(String[] args) {
+        String s;
+        assert true: s; //ERR: s might not be assigned
+    }
+}