--- /dev/null
+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) {}
+}
runTest("verifyerror");
}
+ public void testVerifyError_315398_2() {
+ runTest("verifyerror - 2");
+ }
+
public void testRawTypePointcut_327134() {
runTest("rawtype pointcut");
}
</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>