Mercurial > hg > Members > kono > jpf-core

comparison src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java @ 14:7ba603d4ba20

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 61d41facf527
children 3517702bd768
comparison
equal deleted inserted replaced
13:9d0c3f9df6e0 14:7ba603d4ba20
48 } 48 }
49 49
50 //--- shared access CG 50 //--- shared access CG
51 Scheduler scheduler = ti.getScheduler(); 51 Scheduler scheduler = ti.getScheduler();
52 if (scheduler.canHaveSharedArrayCG(ti, this, eiArray, idx)){ 52 if (scheduler.canHaveSharedArrayCG(ti, this, eiArray, idx)){
53 eiArray = scheduler.updateArraySharedness(ti, eiArray, index); 53 eiArray = scheduler.updateArraySharedness(ti, eiArray, idx);
54 if (scheduler.setsSharedArrayCG(ti, this, eiArray, idx)){ 54 if (scheduler.setsSharedArrayCG(ti, this, eiArray, idx)){
55 return this; 55 return this;
56 } 56 }
57 } 57 }
58 } 58 }