From: christoph@burschka.de (Christoph Burschka)
To: cocci@systeme.lip6.fr
Subject: [Cocci] -o option fails when all files are skipped
Date: Sat, 08 Feb 2014 16:34:55 +0100 [thread overview]
Message-ID: <52F64E9F.1080605@burschka.de> (raw)
(Posted earlier at https://github.com/coccinelle/coccinelle/issues/16 )
-----
Using the latest source (1.0.0-rc19), I'm trying to run this command:
spatch --no-includes --sp-file repr.cocci in.c -o out.c
This is the output I'm getting:
init_defs_builtins:
/home/christoph/Software/install/share/coccinelle/standard.h
warning: line 9: should self be a metavariable?
warning: line 22: should self be a metavariable?
(ONCE) Expected tokens self PyObject PyString_FromString PyString_FromFormat
Skipping:in.c
Fatal error: exception Failure("-o can not be applied because there are
multiple modified files")
-----
Apparently this is because the only input file is skipped.
I was assuming that spatch would simply copy the unchanged input file in
that case, probably because I misinterpreted the following code block in
main.ml:
(match outfiles with
| [infile, Some outfile] when infile =$= x && null xs ->
Common.command2 ("cp " ^outfile^ " " ^ !output_file)
| [infile, None] when infile =$= x && null xs ->
Common.command2 ("cp " ^infile^ " " ^ !output_file)
| _ ->
failwith
(Instead, outfiles is an empty list. I guess it filters out the
irrelevant files before reaching this point? Sorry, I've never looked at
this source code before today.)
I'm trying to use this tool: https://fedorahosted.org/2to3c/
It applies a collection of semantic patches to a Python2 C extension to
upgrade it to Python3... but apparently it fails when any of those
patches are irrelevant. Is there a better way to do this?
Best regards,
Christoph
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 246 bytes
Desc: OpenPGP digital signature
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20140208/d9baa20a/attachment.asc>
next reply other threads:[~2014-02-08 15:34 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-08 15:34 Christoph Burschka [this message]
2014-02-08 17:30 ` [Cocci] -o option fails when all files are skipped Julia Lawall
2014-02-08 21:52 ` Christoph Burschka
2014-02-09 6:31 ` 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=52F64E9F.1080605@burschka.de \
--to=christoph@burschka.de \
--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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.