Re: [cocci] Reconsidering application of selected SmPL isomorphisms

[Markus Elfring <Markus.Elfring@web.de>]

> The generated code indeed does not look ideal.  But it won't cause any
> wrong matches.

I got the impression that I would need to disable the isomorphism “paren”
for the desired use case.



>                 The isomorphisms are applied on the ASTs, not on the soure code.

I remember other description approaches.
Are isomorphisms usually mapped to SmPL disjunctions?


>        So there will be a tree with a ! at the root and a || as the
> argument that will not match any possible source code.
>
> Maybe it would be better to add isomorphisms for the de Morgan laws rather
> than adding some hacks into the generic isomorphism transformation to take
> this issue into account.

I am looking for further software extensions.

* I would occasionally like to restrict the source code search to pointer expressions.

* Specifying a varying (or even unlimited) number of items for discussed boolean operators


Regards,
Markus