Re: [cocci] Working with parameter/expression lists by SmPL

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

>>> Could you repost your semantic patch and test code?
>>
>> I imagine that a semantic match (with the application of SmPL asterisks)
>> could be also helpful for the desired understanding of the discussed
>> transformation approach.
> I don't see why.  I'm only concerned about why a // comment was added at
> the front of a line containing real code.


Jakob Koschel provided the following information yesterday.
https://sympa.inria.fr/sympa/arc/cocci/2022-08/msg00025.html
https://lore.kernel.org/cocci/5369B40D-9EA4-401F-A9CB-2CA1C0E3332E@gmail.com/

“…
I've only used adding the comment to see if the matching works correctly,
I'm not intending to do anything with comments in the final version.
…”



> Perhaps the pretty printer treats all comments the same...

How do you think about increasing case distinctions also for further improvements
of the Coccinelle software?

* Under which circumstances may comment additions influence the control flow?

* Should the addition of a C++-style comment (before an SmPL ellipsis)
  eventually trigger the appending of a line break?

* Would you like to extend the test case collection accordingly?

Regards,
Markus