Re: Coccinelle: Handling of SmPL disjunctions
From: Markus Elfring
Date: Wed May 15 2019 - 05:57:47 EST
>> Thanks for such additional information. Is it represented in the software
>> documentation (besides the source code format)?
> It is not a concern of the user.
I got interested in corresponding aspects.
> The documentation is not going to contain a description of every line
> in the implementation.
Some extensions can become nice and more helpful there.
>> How do you think about to increase the matching granularity
>> for this functionality?
> No idea what this means. Disjunctions are expanded up to the level of the
> nodes in the control-flow graph.
We have got different expectations for working with such nodes
for possible (data flow) analysis.
Does the term âdisjunction liftingâ (from the SmPL manual) fit to this feedback?