Fix ISS changing the relative execution order of statements in the cloned part
commita24b7ef28fb0af9c0f2f8cc76c1e039bf13b5a86
authorOleksandr Zinenko <zinenko@lri.fr>
Mon, 15 Sep 2014 15:35:58 +0000 (15 17:35 +0200)
committerOleksandr Zinenko <zinenko@lri.fr>
Mon, 15 Sep 2014 15:35:58 +0000 (15 17:35 +0200)
tree86c3dd7c86802ca44c2aa1d15f5d7b5a0e556a97
parentc88e884fb90a7ff4fc34166d00f240f5584dc163
Fix ISS changing the relative execution order of statements in the cloned part
source/transformation.c
tests/unitary/iss_loop1.c.clay.scop
tests/unitary/iss_loop2.c.clay.scop
tests/unitary/iss_loop3.c.clay.scop
tests/unitary/iss_loop4.c.clay.scop