jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Correct fix

Browse source
This commit is contained in:
Cédric Pasteur 2011-04-21 17:47:45 +02:00
parent 7d2b1e5865
commit 0b9dc1fc01
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/minils/analysis/interference.ml
View file

@ -281,7 +281,7 @@ let should_interfere (x, y) =
let x_is_mem = World.is_memory x in
let y_is_mem = World.is_memory y in
let are_copies = have_same_value_from_name x y in
let disjoint_clocks = disjoint_clock (x_is_mem && y_is_mem) vdx.v_clock vdy.v_clock in
let disjoint_clocks = disjoint_clock (x_is_mem || y_is_mem) vdx.v_clock vdy.v_clock in
not (disjoint_clocks or are_copies)
)