[Cocci] What is the spatch file for this change and the corresponding spatch command line invocation

Francois Berenger francois.berenger at inria.fr
Wed Dec 3 18:29:54 CET 2014


Hello,

I give up trying to write the spatch myself:

Before file:
---
int i;

for ( ; ; ++i ) {
   if (1) {
     continue;
   }
}
---

After file:
---
int i;

for ( ; ; ) {
   if (1) {
     ++i;
     continue;
   }
   ++i;
}
---

All my trials don't work, not any change in the file appears
if I try --in-place and -o fails because
"-o can not be applied because there are no modified files"

Thanks a lot,
Francois.


More information about the Cocci mailing list