> Of course, you can also tell from the returns, or lack there of, in the > function whether the function has void return type as well.
This approach is exactly the kind of SmPL filter design I tried out with the script "list_functions_with_single_function_call5-no_db.cocci" for example. Unfortunately, I frightened and annoyed you with that SmPL rule collection to some degree. I suggest to reconsider this situation once more. * It can be that I got stuck somehow in this application variant as the number of relevant rules grew. * But is it also possible to compute the number of required rules from factors in this way for a logically correct version? return_type_detection x pointer_usage x static_determination x ... Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
