At leaset with coccinelle 1.0.4 this test fails with two issues, one is the return statement is shifted, another is debatable -- an empty branch statement is left. This is funtional however its debatable if this is desirable by default.
Signed-off-by: Luis R. Rodriguez <[email protected]> --- tests/remove-code-in-branch1.c | 7 +++++++ tests/remove-code-in-branch1.cocci | 4 ++++ tests/remove-code-in-branch1.res | 4 ++++ 3 files changed, 15 insertions(+) create mode 100644 tests/remove-code-in-branch1.c create mode 100644 tests/remove-code-in-branch1.cocci create mode 100644 tests/remove-code-in-branch1.res diff --git a/tests/remove-code-in-branch1.c b/tests/remove-code-in-branch1.c new file mode 100644 index 000000000000..83840bdd99ac --- /dev/null +++ b/tests/remove-code-in-branch1.c @@ -0,0 +1,7 @@ +int main(void) +{ + if (a > 1) + c(); + + return 0; +} diff --git a/tests/remove-code-in-branch1.cocci b/tests/remove-code-in-branch1.cocci new file mode 100644 index 000000000000..b3f03523ac92 --- /dev/null +++ b/tests/remove-code-in-branch1.cocci @@ -0,0 +1,4 @@ +@r@ +@@ + +-c(); diff --git a/tests/remove-code-in-branch1.res b/tests/remove-code-in-branch1.res new file mode 100644 index 000000000000..31dbf45bf99c --- /dev/null +++ b/tests/remove-code-in-branch1.res @@ -0,0 +1,4 @@ +int main(void) +{ + return 0; +} -- 2.7.2 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
