On Thu, 19 May 2016, Luis R. Rodriguez wrote:
> 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]> Applied > --- > 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 > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
