Hi Julia,
On 21.01.16 12:02, Julia Lawall wrote:
There are a bunch of problems, e,g. the hard coded type/names or the
WARN_ON() should be put in front of the dereferences but that is something
for later to improve. The main problem I face at this point is to filter
out the spin_lock() and spin_unlock() access. All my attempts didn't let
to the expected result. I think the best thing would be to match on the
type. So if 'f' is of type spinlock_t ignore it. Any ideas how this
could be expressed?
Here is my suggestion (see below for explanations):
Thanks a lot for your help! It's a really appreciated. Unfortunately, I
haven't found time to play with it because of some fights with
paperwork. Hopefully I have time on Monday to continue with this work.
Have a nice weekend,
Daniel
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
