[Cocci] How to remove unused global variables by using Coccinelle?

杨已彪 yangyibiao at nju.edu.cn
Fri Oct 13 15:43:17 CEST 2017


Thanks for this awesome tool - Coccinelle. 

Currently, I am trying to use Coccinelle to remove unused global variables in C source code. While applying the following remove.cocci to test.c , it does not work.

Can anyone help?


$ spatch --version
spatch version 1.0.6 compiled with OCaml version 4.02.3
Flags passed to the configure script: [none]
Python scripting support: yes
Syntax of regular expresssions: PCRE

$ spatch —in-place -sp-file remove.cocci small.c
init_defs_builtins: /usr/local/lib/coccinelle/standard.h
HANDLING: small.c

$ cat remove.cocci
type T;
identifier i;
expression E;
- static T i = E;
  ... when != I

$ cat small.c
static int g = 0;
int main()
    return 0;

More information about the Cocci mailing list