Re: [v2] coccinelle: semantic patch to check for inappropriate do_div() calls

[Markus Elfring]

>> Does the Coccinelle software ensure that a variable like âr.ulâ contains
>> really useful data even if the expected branch of the SmPL disjunction
>> was occasionally not matched?
>
> The python code will only be executed if it does.

The Python scripts will be executed if the SmPL rule ârâ found something.
I suggest to take a closer look at the involved data types for
really safe case distinctions.
Does the dependency management around the application of SmPL disjunctions
need any further clarification?

Regards,
Markus