added test cases for old jitterbugs

moved passing tests from ajcTestsFailing to ajcTests

1 files changed, 29 insertions, 0 deletions

diff --git a/tests/bugs/CircularDominates.java b/tests/bugs/CircularDominates.java
new file mode 100644
index 000000000..b35423e8b
--- /dev/null
+++ b/tests/bugs/CircularDominates.java
@@ -0,0 +1,29 @@
+
+import org.aspectj.testing.Tester;
+import java.util.*;
+
+/** @testcase PR#902 circularity in declare dominates */
+public class CircularDominates {
+
+    public static void main(String[] args) {
+		foo();
+		throw new Error("expected compiler error");
+    }
+
+    public static void foo() {
+    }
+}
+
+aspect BugDemoAspect {
+    declare dominates : B, A, B; // CE 18
+}
+
+aspect A {
+    before() : target(CircularDominates) && call(static void foo(..)) {
+    }
+}
+
+aspect B {
+    before() : cflowbelow(execution(static void main(String[]))) {
+    }
+}