Re: [cocci] Fixing the adjustment of variable declarations

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

> What is the problem with this semantic patch?

It tried to express a reduced transformation approach also according to
a clarification attempt by Elia Pinto.



> You didn't have the thoughfulness to provide a test case,

I published one yesterday.
https://lore.kernel.org/cocci/b73dc7c1-d5ad-dd23-f559-7b73939ed710@web.de/
https://sympa.inria.fr/sympa/arc/cocci/2022-11/msg00040.html


> but I tried one and it worked fine.
>
> int main () {
>   int x;
>   x = 'x';
> }

I can get a related test result.

Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> spatch move_a_variable_declaration-20221112.cocci test_for_declarators2.c
…
@@ -1,5 +1,5 @@
 void my_test_for_one_declaration(void)
 {
- char o;
+ char
  o = 'x';
 }


Does it also mean that information from code deletions can generally be captured
for subsequent code additions?
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/768bd6eb0a2cbede8f1390009cc997ff57c339a4/docs/manual/cocci_syntax.tex#L1022

Why do I observe test results which are different in comparison to
the previously mentioned SmPL code variant “-T I;”?

Regards,
Markus