> I have a list of functions that I know can’t return NULL. Such a function property can also be automatically determined with semantic filter scripts to some degree (if you have got access to corresponding source files). How do you manage the knowledge for your function name list?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
