diff for duplicates of <alpine.DEB.2.02.1311021550330.2261@hadrien> diff --git a/a/1.txt b/N1/1.txt index 17bb77e..12c4840 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -39,7 +39,7 @@ julia > +virtual report > +virtual context > + -> + at r1 depends on patch@ +> +@r1 depends on patch@ > +expression E, E2, f; > +@@ > +( @@ -51,20 +51,20 @@ julia > +- if (E) {} > +) > + -> + at r2 depends on report || context@ +> +@r2 depends on report || context@ > +expression E, E2, f; > +position p; > +@@ > +( -> +- if at p ( +> +- if@p ( > + <+... \(f(...)\|++E\|--E\|E++\|E--\|E=E2\) ...+> > +- ) {} > ++ ; > +| -> +- if at p (E) {} +> +- if@p (E) {} > +) > + -> + at script:python depends on report@ +> +@script:python depends on report@ > +p << r2.p; > +@@ > + diff --git a/a/content_digest b/N1/content_digest index cb92e7f..97dea1e 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,8 +1,13 @@ "ref\020131102143236.GA18084@leaf\0" - "From\0julia.lawall@lip6.fr (Julia Lawall)\0" - "Subject\0[Cocci] [PATCH] coccinelle: Add a script to find and remove unnecessary ifs with no body\0" + "From\0Julia Lawall <julia.lawall@lip6.fr>\0" + "Subject\0Re: [PATCH] coccinelle: Add a script to find and remove unnecessary ifs with no body\0" "Date\0Sat, 2 Nov 2013 15:51:50 +0100 (CET)\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Josh Triplett <josh@joshtriplett.org>\0" + "Cc\0Gilles Muller <Gilles.Muller@lip6.fr>" + Nicolas Palix <nicolas.palix@imag.fr> + Michal Marek <mmarek@suse.cz> + linux-kernel@vger.kernel.org + " cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" "On Sat, 2 Nov 2013, Josh Triplett wrote:\n" @@ -46,7 +51,7 @@ "> +virtual report\n" "> +virtual context\n" "> +\n" - "> + at r1 depends on patch@\n" + "> +@r1 depends on patch@\n" "> +expression E, E2, f;\n" "> +@@\n" "> +(\n" @@ -58,20 +63,20 @@ "> +- if (E) {}\n" "> +)\n" "> +\n" - "> + at r2 depends on report || context@\n" + "> +@r2 depends on report || context@\n" "> +expression E, E2, f;\n" "> +position p;\n" "> +@@\n" "> +(\n" - "> +- if at p (\n" + "> +- if@p (\n" "> + <+... \\(f(...)\\|++E\\|--E\\|E++\\|E--\\|E=E2\\) ...+>\n" "> +- ) {}\n" "> ++ ;\n" "> +|\n" - "> +- if at p (E) {}\n" + "> +- if@p (E) {}\n" "> +)\n" "> +\n" - "> + at script:python depends on report@\n" + "> +@script:python depends on report@\n" "> +p << r2.p;\n" "> +@@\n" "> +\n" @@ -82,4 +87,4 @@ ">\n" > -7e9112591876a7f74e29edd3d4d06992417e7b892cfda27b0c654c6c28f17f98 +8d74c8e57a4a89fb463cf094753c45325f7e5f8892c5e3b384b4141a1dc9d338
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.