@testcase PR#36673 privileged aspect main verify error

diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml
index 1b2b82f8cb6243bc51ae65732e623066a9538266..a2441ef7841141c10cbeec924f244487f083c235 100644 (file)
--- a/tests/ajcTestsFailing.xml
+++ b/tests/ajcTestsFailing.xml
@@ -4,6 +4,9 @@
 <!-- contains valid tests that the compiler has never passed -->
 <suite>
 
-
-
+    <ajc-test dir="new/verifyError" pr="36673"
+      title="privileged aspect main verify error">
+        <compile files="Privilege.java"/>
+        <run class="Privilege"/>
+    </ajc-test>
 </suite>

diff --git a/tests/new/verifyError/Privilege.java b/tests/new/verifyError/Privilege.java
new file mode 100644 (file)
index 0000000..a49850f
--- /dev/null
+++ b/tests/new/verifyError/Privilege.java
@@ -0,0 +1,19 @@
+
+import org.aspectj.testing.Tester;
+
+class C {
+       private int i;
+}
+
+privileged aspect A {
+       private int C.j = 1;
+}
+
+/** @testcase PR#36673 privileged aspect main verify error */
+public privileged aspect Privilege {
+       public static void main(String[] args) {
+           C c = new C();
+               Tester.check(1 == c.j, "wrong value for c.j");
+       }       
+}
+