# HG changeset patch
# User Peter Mehlitz <pcmehlitz@gmail.com>
# Date 1426559976 25200
# Node ID 7ba603d4ba20102546fde4b75b4215d116834869
# Parent  9d0c3f9df6e0555a8a359c63e95258622f3a5ea2
bug caused by using the wrong index during scheduler.updateArraySharedness() -
thanks to Peter Anderson

diff -r 9d0c3f9df6e0 -r 7ba603d4ba20 src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java
--- a/src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java	Fri Mar 13 14:07:43 2015 -0700
+++ b/src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java	Mon Mar 16 19:39:36 2015 -0700
@@ -50,7 +50,7 @@
       //--- shared access CG
       Scheduler scheduler = ti.getScheduler();
       if (scheduler.canHaveSharedArrayCG(ti, this, eiArray, idx)){
-        eiArray = scheduler.updateArraySharedness(ti, eiArray, index);
+        eiArray = scheduler.updateArraySharedness(ti, eiArray, idx);
         if (scheduler.setsSharedArrayCG(ti, this, eiArray, idx)){
           return this;
         }