diff for duplicates of <alpine.DEB.2.02.1506140847380.2085@localhost6.localdomain6> diff --git a/a/1.txt b/N1/1.txt index a8ef086..1503c6c 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -23,19 +23,19 @@ julia > +virtual report > +virtual strict > + -> + at cc depends on !patch && (context || org || report || strict)@ +> +@cc depends on !patch && (context || org || report || strict)@ > +constant C; > +position p; > +@@ > + > +( -> +schedule_timeout at p(C) +> +schedule_timeout@p(C) > +| -> +schedule_timeout_interruptible at p(C) +> +schedule_timeout_interruptible@p(C) > +| -> +schedule_timeout_killable at p(C) +> +schedule_timeout_killable@p(C) > +| -> +schedule_timeout_uninterruptible at p(C) +> +schedule_timeout_uninterruptible@p(C) > +| > +mod_timer(...,C) > +| @@ -80,7 +80,7 @@ julia > +wait_for_completion_killable_timeout(...,C) > +) > + -> + at script:python depends on org@ +> +@script:python depends on org@ > +p << cc.p; > +timeout << cc.C; > +@@ @@ -93,7 +93,7 @@ julia > + msg = "WARNING: timeout is HZ dependent" > + coccilib.org.print_safe_todo(p[0], msg) > + -> + at script:python depends on report@ +> +@script:python depends on report@ > +p << cc.p; > +timeout << cc.C; > +@@ @@ -103,7 +103,7 @@ julia > + msg = "WARNING: timeout (%s) seems HZ dependent" % (timeout) > + coccilib.report.print_report(p[0], msg) > + -> + at script:python depends on strict@ +> +@script:python depends on strict@ > +p << cc.p; > +timeout << cc.C; > +@@ diff --git a/a/content_digest b/N1/content_digest index 84dd908..173eb20 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,8 +1,17 @@ "ref\01434128979-2096-1-git-send-email-hofrat@osadl.org\0" - "From\0julia.lawall@lip6.fr (Julia Lawall)\0" - "Subject\0[Cocci] [PATCH RFC V2] coccinelle: flag constants being passed for jiffies\0" + "From\0Julia Lawall <julia.lawall@lip6.fr>\0" + "Subject\0Re: [PATCH RFC V2] coccinelle: flag constants being passed for jiffies\0" "Date\0Sun, 14 Jun 2015 08:49:34 +0200 (CEST)\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Nicholas Mc Guire <hofrat@osadl.org>\0" + "Cc\0Julia Lawall <Julia.Lawall@lip6.fr>" + Gilles Muller <Gilles.Muller@lip6.fr> + Nicolas Palix <nicolas.palix@imag.fr> + Michal Marek <mmarek@suse.cz> + Joe Perches <joe@perches.com> + Andy Whitcroft <apw@canonical.com> + John Stultz <john.stultz@linaro.org> + cocci@systeme.lip6.fr + " linux-kernel@vger.kernel.org\0" "\00:1\0" "b\0" "> diff --git a/scripts/coccinelle/api/timeout_HZ_dependent.cocci b/scripts/coccinelle/api/timeout_HZ_dependent.cocci\n" @@ -30,19 +39,19 @@ "> +virtual report\n" "> +virtual strict\n" "> +\n" - "> + at cc depends on !patch && (context || org || report || strict)@\n" + "> +@cc depends on !patch && (context || org || report || strict)@\n" "> +constant C;\n" "> +position p;\n" "> +@@\n" "> +\n" "> +(\n" - "> +schedule_timeout at p(C)\n" + "> +schedule_timeout@p(C)\n" "> +|\n" - "> +schedule_timeout_interruptible at p(C)\n" + "> +schedule_timeout_interruptible@p(C)\n" "> +|\n" - "> +schedule_timeout_killable at p(C)\n" + "> +schedule_timeout_killable@p(C)\n" "> +|\n" - "> +schedule_timeout_uninterruptible at p(C)\n" + "> +schedule_timeout_uninterruptible@p(C)\n" "> +|\n" "> +mod_timer(...,C)\n" "> +|\n" @@ -87,7 +96,7 @@ "> +wait_for_completion_killable_timeout(...,C)\n" "> +)\n" "> +\n" - "> + at script:python depends on org@\n" + "> +@script:python depends on org@\n" "> +p << cc.p;\n" "> +timeout << cc.C;\n" "> +@@\n" @@ -100,7 +109,7 @@ "> + msg = \"WARNING: timeout is HZ dependent\"\n" "> + coccilib.org.print_safe_todo(p[0], msg)\n" "> +\n" - "> + at script:python depends on report@\n" + "> +@script:python depends on report@\n" "> +p << cc.p;\n" "> +timeout << cc.C;\n" "> +@@\n" @@ -110,7 +119,7 @@ "> + msg = \"WARNING: timeout (%s) seems HZ dependent\" % (timeout)\n" "> + coccilib.report.print_report(p[0], msg)\n" "> +\n" - "> + at script:python depends on strict@\n" + "> +@script:python depends on strict@\n" "> +p << cc.p;\n" "> +timeout << cc.C;\n" "> +@@\n" @@ -130,4 +139,4 @@ "> \n" > -be2f6cc074957b8341984e93435af07af5e1465e40058d6fb4451ec3b6831b95 +d57307cf81f681b61d702eedf6623da6ae5ff35835c873938bffd15e43275b07
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.