From 4e8c139e3ec3aba077608eb8d7375651a5979d76 Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Thu, 28 Apr 2011 17:55:43 +0000
Subject: [PATCH] 315398

---
 tests/bugs1612/pr315398/Code.java             | 22 +++++++++++++++++++
 .../systemtest/ajc1612/Ajc1612Tests.java      |  4 ++++
 .../aspectj/systemtest/ajc1612/ajc1612.xml    | 11 ++++++++++
 3 files changed, 37 insertions(+)
 create mode 100644 tests/bugs1612/pr315398/Code.java

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>
-- 
2.39.5