All of lore.kernel.org
 help / color / mirror / Atom feed

diff for duplicates of <alpine.DEB.2.20.1806150705540.2565@hadrien>

diff --git a/a/1.txt b/N1/1.txt
index 27a0f3f..f1dd977 100644
--- a/a/1.txt
+++ b/N1/1.txt
@@ -49,7 +49,7 @@ julia
 > > +
 > > +virtual report
 > > +
-> > +@r1 exists@
+> > + at r1 exists@
 > > +identifier a, x;
 > > +position p1, p2;
 > > +identifier fname =~ ".*free.*";
@@ -62,42 +62,42 @@ julia
 > > +@@
 > > +
 > > +(
-> > + atomic_dec_and_test@p1(&(a)->x)
+> > + atomic_dec_and_test at p1(&(a)->x)
 > > +|
-> > + atomic_dec_and_lock@p1(&(a)->x, ...)
+> > + atomic_dec_and_lock at p1(&(a)->x, ...)
 > > +|
-> > + atomic_long_dec_and_lock@p1(&(a)->x, ...)
+> > + atomic_long_dec_and_lock at p1(&(a)->x, ...)
 > > +|
-> > + atomic_long_dec_and_test@p1(&(a)->x)
+> > + atomic_long_dec_and_test at p1(&(a)->x)
 > > +|
-> > + atomic64_dec_and_test@p1(&(a)->x)
+> > + atomic64_dec_and_test at p1(&(a)->x)
 > > +|
-> > + local_dec_and_test@p1(&(a)->x)
+> > + local_dec_and_test at p1(&(a)->x)
 > > +)
 > > +...
 > > +(
-> > + fname@p2(a, ...);
+> > + fname at p2(a, ...);
 > > +|
-> > + fname2@p2(...);
+> > + fname2 at p2(...);
 > > +|
-> > + fname3@p2(...);
+> > + fname3 at p2(...);
 > > +|
-> > + fname4@p2(...);
+> > + fname4 at p2(...);
 > > +|
-> > + fname5@p2(...);
+> > + fname5 at p2(...);
 > > +|
-> > + fname6@p2(...);
+> > + fname6 at p2(...);
 > > +)
 > > +
 > > +
-> > +@script:python depends on report@
+> > + at script:python depends on report@
 > > +p1 << r1.p1;
 > > +p2 << r1.p2;
 > > +@@
 > > +msg = "atomic_dec_and_test variation before object free at line %s."
 > > +coccilib.report.print_report(p1[0], msg % (p2[0].line))
 > > +
-> > +@r4 exists@
+> > + at r4 exists@
 > > +identifier a, x, y;
 > > +position p1, p2;
 > > +identifier fname =~ ".*free.*";
@@ -105,32 +105,32 @@ julia
 > > +@@
 > > +
 > > +(
-> > + atomic_dec_and_test@p1(&(a)->x)
+> > + atomic_dec_and_test at p1(&(a)->x)
 > > +|
-> > + atomic_dec_and_lock@p1(&(a)->x, ...)
+> > + atomic_dec_and_lock at p1(&(a)->x, ...)
 > > +|
-> > + atomic_long_dec_and_lock@p1(&(a)->x, ...)
+> > + atomic_long_dec_and_lock at p1(&(a)->x, ...)
 > > +|
-> > + atomic_long_dec_and_test@p1(&(a)->x)
+> > + atomic_long_dec_and_test at p1(&(a)->x)
 > > +|
-> > + atomic64_dec_and_test@p1(&(a)->x)
+> > + atomic64_dec_and_test at p1(&(a)->x)
 > > +|
-> > + local_dec_and_test@p1(&(a)->x)
+> > + local_dec_and_test at p1(&(a)->x)
 > > +)
 > > +...
 > > +y=a
 > > +...
-> > +fname@p2(y, ...);
+> > +fname at p2(y, ...);
 > > +
 > > +
-> > +@script:python depends on report@
+> > + at script:python depends on report@
 > > +p1 << r4.p1;
 > > +p2 << r4.p2;
 > > +@@
 > > +msg = "atomic_dec_and_test variation before object free at line %s."
 > > +coccilib.report.print_report(p1[0], msg % (p2[0].line))
 > > +
-> > +@r2 exists@
+> > + at r2 exists@
 > > +identifier a, x;
 > > +position p1;
 > > +@@
@@ -143,26 +143,26 @@ julia
 > > +atomic64_add_unless(&(a)->x,-1,1)@p1
 > > +)
 > > +
-> > +@script:python depends on report@
+> > + at script:python depends on report@
 > > +p1 << r2.p1;
 > > +@@
 > > +msg = "atomic_add_unless"
 > > +coccilib.report.print_report(p1[0], msg)
 > > +
-> > +@r3 exists@
+> > + at r3 exists@
 > > +identifier x;
 > > +position p1;
 > > +@@
 > > +
 > > +(
-> > +x = atomic_add_return@p1(-1, ...);
+> > +x = atomic_add_return at p1(-1, ...);
 > > +|
-> > +x = atomic_long_add_return@p1(-1, ...);
+> > +x = atomic_long_add_return at p1(-1, ...);
 > > +|
-> > +x = atomic64_add_return@p1(-1, ...);
+> > +x = atomic64_add_return at p1(-1, ...);
 > > +)
 > > +
-> > +@script:python depends on report@
+> > + at script:python depends on report@
 > > +p1 << r3.p1;
 > > +@@
 > > +msg = "x = atomic_add_return(-1, ...)"
diff --git a/a/content_digest b/N1/content_digest
index e1cd68e..83ae05d 100644
--- a/a/content_digest
+++ b/N1/content_digest
@@ -5,27 +5,16 @@
   "ref\0CAGXu5jK-6fNvaEiX1Wvp98BKv+uF17KdFyPQKi5hgE-Jz3-+Tg\@mail.gmail.com\0"
 ]
 [
-  "From\0Julia Lawall <julia.lawall\@lip6.fr>\0"
+  "From\0julia.lawall\@lip6.fr (Julia Lawall)\0"
 ]
 [
-  "Subject\0Re: [PATCH] Coccinelle: add atomic_as_refcounter script\0"
+  "Subject\0[Cocci] [PATCH] Coccinelle: add atomic_as_refcounter script\0"
 ]
 [
   "Date\0Fri, 15 Jun 2018 07:06:20 +0200 (CEST)\0"
 ]
 [
-  "To\0Kees Cook <keescook\@chromium.org>\0"
-]
-[
-  "Cc\0Elena Reshetova <elena.reshetova\@intel.com>",
-  " Masahiro Yamada <yamada.masahiro\@socionext.com>",
-  " Julia Lawall <julia.lawall\@lip6.fr>",
-  " LKML <linux-kernel\@vger.kernel.org>",
-  " cocci\@systeme.lip6.fr",
-  " Gilles Muller <Gilles.Muller\@lip6.fr>",
-  " Nicolas Palix <nicolas.palix\@imag.fr>",
-  " Michal Marek <mmarek\@suse.com>",
-  " Hans Liljestrand <ishkamiel\@gmail.co>\0"
+  "To\0cocci\@systeme.lip6.fr\0"
 ]
 [
   "\0000:1\0"
@@ -85,7 +74,7 @@
   "> > +\n",
   "> > +virtual report\n",
   "> > +\n",
-  "> > +\@r1 exists\@\n",
+  "> > + at r1 exists\@\n",
   "> > +identifier a, x;\n",
   "> > +position p1, p2;\n",
   "> > +identifier fname =~ \".*free.*\";\n",
@@ -98,42 +87,42 @@
   "> > +\@\@\n",
   "> > +\n",
   "> > +(\n",
-  "> > + atomic_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + atomic_dec_and_lock\@p1(&(a)->x, ...)\n",
+  "> > + atomic_dec_and_lock at p1(&(a)->x, ...)\n",
   "> > +|\n",
-  "> > + atomic_long_dec_and_lock\@p1(&(a)->x, ...)\n",
+  "> > + atomic_long_dec_and_lock at p1(&(a)->x, ...)\n",
   "> > +|\n",
-  "> > + atomic_long_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic_long_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + atomic64_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic64_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + local_dec_and_test\@p1(&(a)->x)\n",
+  "> > + local_dec_and_test at p1(&(a)->x)\n",
   "> > +)\n",
   "> > +...\n",
   "> > +(\n",
-  "> > + fname\@p2(a, ...);\n",
+  "> > + fname at p2(a, ...);\n",
   "> > +|\n",
-  "> > + fname2\@p2(...);\n",
+  "> > + fname2 at p2(...);\n",
   "> > +|\n",
-  "> > + fname3\@p2(...);\n",
+  "> > + fname3 at p2(...);\n",
   "> > +|\n",
-  "> > + fname4\@p2(...);\n",
+  "> > + fname4 at p2(...);\n",
   "> > +|\n",
-  "> > + fname5\@p2(...);\n",
+  "> > + fname5 at p2(...);\n",
   "> > +|\n",
-  "> > + fname6\@p2(...);\n",
+  "> > + fname6 at p2(...);\n",
   "> > +)\n",
   "> > +\n",
   "> > +\n",
-  "> > +\@script:python depends on report\@\n",
+  "> > + at script:python depends on report\@\n",
   "> > +p1 << r1.p1;\n",
   "> > +p2 << r1.p2;\n",
   "> > +\@\@\n",
   "> > +msg = \"atomic_dec_and_test variation before object free at line %s.\"\n",
   "> > +coccilib.report.print_report(p1[0], msg % (p2[0].line))\n",
   "> > +\n",
-  "> > +\@r4 exists\@\n",
+  "> > + at r4 exists\@\n",
   "> > +identifier a, x, y;\n",
   "> > +position p1, p2;\n",
   "> > +identifier fname =~ \".*free.*\";\n",
@@ -141,32 +130,32 @@
   "> > +\@\@\n",
   "> > +\n",
   "> > +(\n",
-  "> > + atomic_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + atomic_dec_and_lock\@p1(&(a)->x, ...)\n",
+  "> > + atomic_dec_and_lock at p1(&(a)->x, ...)\n",
   "> > +|\n",
-  "> > + atomic_long_dec_and_lock\@p1(&(a)->x, ...)\n",
+  "> > + atomic_long_dec_and_lock at p1(&(a)->x, ...)\n",
   "> > +|\n",
-  "> > + atomic_long_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic_long_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + atomic64_dec_and_test\@p1(&(a)->x)\n",
+  "> > + atomic64_dec_and_test at p1(&(a)->x)\n",
   "> > +|\n",
-  "> > + local_dec_and_test\@p1(&(a)->x)\n",
+  "> > + local_dec_and_test at p1(&(a)->x)\n",
   "> > +)\n",
   "> > +...\n",
   "> > +y=a\n",
   "> > +...\n",
-  "> > +fname\@p2(y, ...);\n",
+  "> > +fname at p2(y, ...);\n",
   "> > +\n",
   "> > +\n",
-  "> > +\@script:python depends on report\@\n",
+  "> > + at script:python depends on report\@\n",
   "> > +p1 << r4.p1;\n",
   "> > +p2 << r4.p2;\n",
   "> > +\@\@\n",
   "> > +msg = \"atomic_dec_and_test variation before object free at line %s.\"\n",
   "> > +coccilib.report.print_report(p1[0], msg % (p2[0].line))\n",
   "> > +\n",
-  "> > +\@r2 exists\@\n",
+  "> > + at r2 exists\@\n",
   "> > +identifier a, x;\n",
   "> > +position p1;\n",
   "> > +\@\@\n",
@@ -179,26 +168,26 @@
   "> > +atomic64_add_unless(&(a)->x,-1,1)\@p1\n",
   "> > +)\n",
   "> > +\n",
-  "> > +\@script:python depends on report\@\n",
+  "> > + at script:python depends on report\@\n",
   "> > +p1 << r2.p1;\n",
   "> > +\@\@\n",
   "> > +msg = \"atomic_add_unless\"\n",
   "> > +coccilib.report.print_report(p1[0], msg)\n",
   "> > +\n",
-  "> > +\@r3 exists\@\n",
+  "> > + at r3 exists\@\n",
   "> > +identifier x;\n",
   "> > +position p1;\n",
   "> > +\@\@\n",
   "> > +\n",
   "> > +(\n",
-  "> > +x = atomic_add_return\@p1(-1, ...);\n",
+  "> > +x = atomic_add_return at p1(-1, ...);\n",
   "> > +|\n",
-  "> > +x = atomic_long_add_return\@p1(-1, ...);\n",
+  "> > +x = atomic_long_add_return at p1(-1, ...);\n",
   "> > +|\n",
-  "> > +x = atomic64_add_return\@p1(-1, ...);\n",
+  "> > +x = atomic64_add_return at p1(-1, ...);\n",
   "> > +)\n",
   "> > +\n",
-  "> > +\@script:python depends on report\@\n",
+  "> > + at script:python depends on report\@\n",
   "> > +p1 << r3.p1;\n",
   "> > +\@\@\n",
   "> > +msg = \"x = atomic_add_return(-1, ...)\"\n",
@@ -217,4 +206,4 @@
   ">"
 ]
 
-e4e39179fdfe2aaa10e5ebc90d07728a9e89be5a95093772e0f070bf182f916b
+e6bf73098034841d83db33cdce4c07c738211d1e2f07e40516f775a6e1a8a4e8
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.