nitsaf: add loop flow set merge
authorAlexandre Terrasa <alexandre@moz-code.org>
Sat, 17 Oct 2015 02:40:51 +0000 (22:40 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Sat, 19 Dec 2015 08:40:58 +0000 (03:40 -0500)
commit9c3d877b87cda787ddb535f4c06cb26f839abf7f
treead8a7153fc54c81b320f9545f3eb3550156e2cf6
parent35ec1c46be1cf2c839c36a614f2af3b34352e5c0
nitsaf: add loop flow set merge

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/saf/reaching_defs.nit
src/saf/saf_base.nit
tests/nitsaf.args
tests/sav/nitsaf_args6.res [new file with mode: 0644]
tests/sav/nitsaf_args7.res [new file with mode: 0644]
tests/sav/nitsaf_args8.res [new file with mode: 0644]
tests/test_saf/flow_loop1.nit [new file with mode: 0644]
tests/test_saf/flow_loop2.nit [new file with mode: 0644]
tests/test_saf/flow_loop3.nit [new file with mode: 0644]