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.
v2: do not remove the if -- the if is needed as the items
in the branch could consist of functional run time
changes, for instance if (bar()).
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 | 7 +++++++
3 files changed, 18 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..eb7985f683a0
--- /dev/null
+++ b/tests/remove-code-in-branch1.res
@@ -0,0 +1,7 @@
+int main(void)
+{
+ if (a > 1)
+ {}
+
+ return 0;
+}
--
2.7.2
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
