Coccinelle Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: francois.berenger@inria.fr (Francois Berenger)
To: cocci@systeme.lip6.fr
Subject: [Cocci] What is the spatch file for this change and the corresponding spatch command line invocation
Date: Wed, 03 Dec 2014 18:29:54 +0100	[thread overview]
Message-ID: <547F4892.6080405@inria.fr> (raw)

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.

             reply	other threads:[~2014-12-03 17:29 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-03 17:29 Francois Berenger [this message]
2014-12-03 17:34 ` [Cocci] What is the spatch file for this change and the corresponding spatch command line invocation Luis R. Rodriguez
2014-12-04 12:49   ` Francois Berenger
2014-12-04 12:56     ` Julia Lawall
2014-12-04 13:00       ` Francois Berenger
2014-12-04 17:31         ` Luis R. Rodriguez
2014-12-04 14:31       ` Francois Berenger
2014-12-03 18:13 ` Julia Lawall
2014-12-04 10:17   ` Francois Berenger
2014-12-04 10:29     ` Julia Lawall
2014-12-04 10:40       ` Francois Berenger
2014-12-04 11:00         ` Francois Berenger
2014-12-04 11:22         ` Julia Lawall

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=547F4892.6080405@inria.fr \
    --to=francois.berenger@inria.fr \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox