RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #17139 from fjmolinas/pr_static_cocci_remove

Browse Source 
dist/tools/coccinelle/force: remove static.cocci
This commit is contained in:
benpicco 2021-11-12 13:53:37 +01:00 committed by GitHub
commit 6f4c354461
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
dist/tools/coccinelle/force/static.cocci vendored
View File

@ -1,25 +0,0 @@
// remove unused static property of function-local static variable
// (from Julia Lawall, see https://lists.riot-os.org/pipermail/devel/2017-May/005133.html)
@bad exists@
position p;
identifier x;
type T;
@@
static T x@p;
...
x = <+...x...+>
@@
identifier x;
expression e;
type T;
position p != bad.p;
@@
-static
T x@p;
... when != x
when strict
?x = e;