diff options
| author | Donald Sharp <donaldsharp72@gmail.com> | 2022-05-13 07:35:57 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-13 07:35:57 -0400 |
| commit | 69df174216b5829d3075765e0dba30d16f20e25c (patch) | |
| tree | 0941a78075e61004c563f5f775aa4d739d2587d3 /tools | |
| parent | a4df11489c5058c873eceaadeb6dbb3e9e74e956 (diff) | |
| parent | 7aad5e6a38cf2437d6df022199658f855f48f897 (diff) | |
Merge pull request #11188 from opensourcerouting/fix/argv_find
bgpd: Cleanup
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coccinelle/argv_find.cocci | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/coccinelle/argv_find.cocci b/tools/coccinelle/argv_find.cocci index f13b035d7a..1ab19b749b 100644 --- a/tools/coccinelle/argv_find.cocci +++ b/tools/coccinelle/argv_find.cocci @@ -4,8 +4,10 @@ identifier argv; identifier argc; expression e1; expression e2; +identifier I; @@ +( - argv_find(argv, argc, e1, &idx); if ( - idx @@ -14,3 +16,8 @@ expression e2; { e2; } +| +- argv_find(argv, argc, e1, &idx); +... when != I = idx; + when strict +) |