[dpdk-dev] [PATCH 00/11] remove unnecessary cast of void pointers

[Thomas Monjalon]

2017-04-07 13:44, Stephen Hemminger:
> This is a set patches inspired by a set of Linux kernel patches
> by simran singhal <singhalsimran0 at gmail.com>
> 
> The following Coccinelle script was used to detect this:
> @r@
> expression x;
> void* e;
> type T;
> identifier f;
> @@
> (
>   *((T *)e)
> |
>   ((T *)x)[...]
> |
>   ((T*)x)->f
> |
> 
> - (T*)
>   e
> )

Please, could you add this script in devtools/cocci/?