changeset 14:7ba603d4ba20

bug caused by using the wrong index during scheduler.updateArraySharedness() - thanks to Peter Anderson
author Peter Mehlitz <pcmehlitz@gmail.com>
date Mon, 16 Mar 2015 19:39:36 -0700
parents 9d0c3f9df6e0
children cb7500a46eab
files src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;
         }