[Cocci] Safe determination of function properties for SmPL scripts

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

> How can the Coccinelle software help any more in such an use case?

This small SmPL script example demonstrates two special selections of functions
by their name. They belong to separate categories then.

* The primary actions should usually provide a return value somehow.

* A call of a function which will not return from its final task is one
  possibility for an error reaction.


Have you got any preferences for the determination and integration of name lists
for functions with the desired properties into the semantic patch language
in a safe way?

Would you dare to query a database table (or view) for such a purpose?

Regards,
Markus