[Cocci] Source code analysis around "switch"

[elfring@users.sourceforge.net (SF Markus Elfring)]

> hascase has a position variable in it and only if
> that rule applied is the python script executed - and if there
> was a default then hasdefault matched and so the python script
> will not be executed when hasdefault matched

Do the source code positions matter also for your second SmPL rule?


> => only switch statements with no default are reported.

Do the concrete statements fit really together?


> Atleast it sems to work for me

I guess that there are further reviews needed.


> - but as noted there well may be a better solution
> and maybe its even incomplete

That is usual.


> - but I do not see that its a missing positional variable here.

I suggest to reconsider this opinion.
Do you need to establish safer relationships for the desired checks?

Regards,
Markus