On Thu, 9 Jan 2020, Markus Elfring wrote: > >> 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? I already clarified it. The python code will only be executed if the variables that it references have values. The criterion is not just whether the rule r was matched. To see that this is the case, all or you have to do is try it. Or read the Coccinelle source code. julia
