diff options
| author | Julia Lawall <Julia.Lawall@inria.fr> | 2021-04-28 09:21:26 +0200 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@inria.fr> | 2021-04-28 09:21:26 +0200 |
| commit | afa104b04309a6e882f6797216e74489c0d5534f (patch) | |
| tree | 4e189012720edb9d833d1723a1329a39ac86abe2 | |
| parent | 44e793b89bcfe586730f4c6ce3c66174dc07cb37 (diff) | |
| download | linux-for-5.12.tar.gz | |
drop unneeded *sfor-5.12
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>
| -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 168568386034a8..9b6e2037c2a9c0 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,...) ) ... ( |