>> Will the rule set be more consistent then? > > If E1 is not bound by the kem_cache_alloc rule, then it will match anything. How much was such a software behaviour intended by the discussed SmPL script? > The user can check if it is appropriate. How does such an information fit to expectations for safe source code analysis? > Another option would be to use the type of the variable storing the result > of the call to compute the expected size. How would this suggestion help here? Regards, Markus -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
