Re: [cocci] Reducing the scope for variables with SmPL

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

>> or should the semantic patch be done better?
> How do you think about software development possibilities with the following
> script variant for the semantic patch language?


@movement disable decl_init@
type T;
identifier I;
initializer init;
expression E1, E2, E3;
statement S;
@@
(
-T I = init;
 ... when != I
 for (
+     T
      I =
-         E1
+         init
      ; E2; E3
     )
 S
 ... when != I
|
-T I;
 ... when != I
 for (
+     T
      I = E1; E2; E3
     )
 S
 ... when != I
)



Would you like to reduce the scope for any more variables?
https://refactoring.com/catalog/reduceScopeOfVariable.html


Does such a source code transformation approach point also any opportunities out
for further improvements of the corresponding software documentation?

Regards,
Markus