test and fix for Bug 150671: declare error on set of volatile field does not work

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/bugs153/pr150671.aj b/tests/bugs153/pr150671.aj
new file mode 100644
index 000000000..86f495bc3
--- /dev/null
+++ b/tests/bugs153/pr150671.aj
@@ -0,0 +1,16 @@
+class C {
+
+	   private volatile int state;
+	   private int test;
+	   
+	   public void foo() {
+	      state = 0;
+	      test = 0;
+	   }
+	
+}
+
+aspect FSM {
+	   declare error: set(* C.state): "Changing state";
+	   declare error: set(* C.test): "test";
+}