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?