315398

3 files changed, 37 insertions, 0 deletions

diff --git a/tests/bugs1612/pr315398/Code.java b/tests/bugs1612/pr315398/Code.java
new file mode 100644
index 000000000..22e6f1acf
--- /dev/null
+++ b/tests/bugs1612/pr315398/Code.java
@@ -0,0 +1,22 @@
+public aspect Code {
+
+  static int[] a = new int[]{1,2,3};
+
+  static void f(){
+    System.out.println(a[0]);
+    new Test(a[0]++);
+    System.out.println(a[0]);
+  }
+
+  before(): call(Test.new(..)) {
+    System.out.println("advice");
+  }
+
+  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 a3cb6108d..7cb96b01f 100644
--- a/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc1612/Ajc1612Tests.java
@@ -21,6 +21,10 @@ import org.aspectj.testing.XMLBasedAjcTestCase;
  */
 public class Ajc1612Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 
+	public void testVerifyError_315398() {
+		runTest("verifyerror");
+	}
+	
 	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 a413a1232..6113a9c8a 100644
--- a/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml
+++ b/tests/src/org/aspectj/systemtest/ajc1612/ajc1612.xml
@@ -2,6 +2,17 @@
 
 <suite>
 
+<ajc-test dir="bugs1612/pr315398" title="verifyerror">
+<compile files="Code.java" options="-1.5">
+</compile>
+<run class="Code">
+<stdout>
+<line text="1"/>
+<line text="advice"/>
+<line text="2"/>
+</stdout></run>
+</ajc-test>
+
 <ajc-test dir="bugs1612/pr335810" title="rawtype warning">
 <compile files="One.java" options="-1.5 -warn:+raw -warn:+warningToken">
 </compile>