diff options
| author | Julia Lawall <Julia.Lawall@inria.fr> | 2021-04-28 09:21:26 +0200 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@inria.fr> | 2021-05-01 21:23:57 +0200 |
| commit | 32c465613959248a8db8a1458d65a266411ddccc (patch) | |
| tree | 5a1c4b50234a288caefb7d86ceef6b75aa82e84f /scripts/coccinelle | |
| parent | 5d2db9bb5f8a850d037983f0df72ad59cefa9e3d (diff) | |
drop unneeded *s
Kfree.cocci only supports org and report mode, so the *s (used for
context mode) are not useful.
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Diffstat (limited to 'scripts/coccinelle')
| -rw-r--r-- | scripts/coccinelle/free/kfree.cocci | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/coccinelle/free/kfree.cocci b/scripts/coccinelle/free/kfree.cocci index 168568386034..9b6e2037c2a9 100644 --- a/scripts/coccinelle/free/kfree.cocci +++ b/scripts/coccinelle/free/kfree.cocci @@ -22,9 +22,9 @@ position p1; @@ ( -* kfree@p1(E) + kfree@p1(E) | -* kfree_sensitive@p1(E) + kfree_sensitive@p1(E) ) @print expression@ @@ -66,9 +66,9 @@ position ok; while (1) { ... ( -* kfree@ok(E) + kfree@ok(E) | -* kfree_sensitive@ok(E) + kfree_sensitive@ok(E) ) ... when != break; when != goto l; @@ -84,9 +84,9 @@ position free.p1!=loop.ok,p2!={print.p,sz.p}; @@ ( -* kfree@p1(E,...) + kfree@p1(E,...) | -* kfree_sensitive@p1(E,...) + kfree_sensitive@p1(E,...) ) ... ( |