lkml.org 
[lkml]   [2015]   [Jan]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Subject[PATCH 0/3 RFC] Coccinelle: completion API checking
Date

This little set of semantic patches is for partially checking the
completion API. It seems to be working correctly and has not yet
produced any false-positive.

The cases being detected are:

1/3 - duplicate init_completions.
2/3 - incorrect static initialization of completion on stack.
3/3 - re-initialization of completion with init_completion() rather
than reinit_completion().

semantic patch findings files confirmed
duplicate_init_completion.cocci 2 2 2
false_declare_completion.cocci 6 5 3
false_init_compltion.cocci 9 6 5

Note: false_declare_completion.cocci runs extremely slow on my system
roughly a factor 10 slower than the other two - not clear why.

All findings have been submitted based on these scripts. Some have
not yet been confirmed.

Note sure if it makes sense putting this type of API misuse cleanup
into mainline given the relatively small number of findings.

patch is against linux-next 3.19.0-rc1 (-next-20141226)



\
 
 \ /
  Last update: 2015-01-02 11:21    [W:0.048 / U:0.336 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site