diff options
| -rw-r--r-- | tests/bugs1612/pr315398/Code2.java | 19 | ||||
| -rw-r--r-- | tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java | 4 | ||||
| -rw-r--r-- | tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml | 6 |
3 files changed, 29 insertions, 0 deletions
diff --git a/tests/bugs1612/pr315398/Code2.java b/tests/bugs1612/pr315398/Code2.java new file mode 100644 index 000000000..d1893158f --- /dev/null +++ b/tests/bugs1612/pr315398/Code2.java @@ -0,0 +1,19 @@ +public aspect Code2 { + + static int[] a = new int[]{1,2,3}; + + static void f(){ + new Test(a[0]++); +} + +after() returning(Object obj) : call(Test.new(..)) { +} + + public static void main(String []argv) { + f(); + } +} + +class Test { + Test(int i) {} +} diff --git a/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java b/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java index 7cb96b01f..9b706a1a7 100644 --- a/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java +++ b/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java @@ -25,6 +25,10 @@ public class Ajc1612Tests extends org.aspectj.testing.XMLBasedAjcTestCase { runTest("verifyerror"); } + public void testVerifyError_315398_2() { + runTest("verifyerror - 2"); + } + public void testRawTypePointcut_327134() { runTest("rawtype pointcut"); } diff --git a/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml b/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml index 6113a9c8a..0609e0922 100644 --- a/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml +++ b/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml @@ -13,6 +13,12 @@ </stdout></run> </ajc-test> +<ajc-test dir="bugs1612/pr315398" title="verifyerror - 2"> +<compile files="Code2.java" options="-1.5"> +</compile> +<run class="Code2"></run> +</ajc-test> + <ajc-test dir="bugs1612/pr335810" title="rawtype warning"> <compile files="One.java" options="-1.5 -warn:+raw -warn:+warningToken"> </compile> |