/usr/share/doc/coccinelle-doc/examples/posmult.cocci is in coccinelle-doc 1.0.4.deb-3build4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | @n@
position p;
expression E;
statement S,S1;
@@
E = NULL
... when != E = ALLOC(...)
if@p (\(E\|!E\)) S else S1
@@
expression E, E1;
statement S,S1;
position p1 != n.p;
@@
* E = ALLOC(...)
... when != E = E1
* if@p1 (\(E\|!E\))
S else S1
|