From: Nishanth Menon <nm@ti.com>
To: Vaishali Thakkar <vaishali.thakkar@oracle.com>,
Michal Marek <mmarek@suse.com>
Cc: Julia Lawall <julia.lawall@lip6.fr>,
linux-next@vger.kernel.org, cocci@systeme.lip6.fr
Subject: [cocci: new build warnings]: next-20160316 setup_timer.cocci
Date: Wed, 16 Mar 2016 19:06:16 -0500 [thread overview]
Message-ID: <56E9F4F8.70708@ti.com> (raw)
Hi,
It looks like commit c5eda8fd10c6 ("Coccinelle: Add
api/setup_timer.cocci") with spatch rev(1.0.4 latest)[1] generates
warning [2]. I am using spatch from the latest git tree[3]
rule name: parse error:
File "./scripts/coccinelle/api/setup_timer.cocci", line 109, column 0,
charpos = 1939
around = '(',
whole content = '(context || org || report)@'
[1]
spatch byte-code version 1.0.4-00203-gdb45d7549bdd compiled with OCaml
version 4.01.0
Flags passed to the configure script: [none]
Python scripting support: yes
Syntax of regular expresssions: PCRE
[2] http://pastebin.ubuntu.com/15405226/
[3] https://github.com/coccinelle/coccinelle.git
--
Regards,
Nishanth Menon
next reply other threads:[~2016-03-17 0:06 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-17 0:06 Nishanth Menon [this message]
2016-03-17 5:33 ` [cocci: new build warnings]: next-20160316 setup_timer.cocci Julia Lawall
2016-03-18 10: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=56E9F4F8.70708@ti.com \
--to=nm@ti.com \
--cc=cocci@systeme.lip6.fr \
--cc=julia.lawall@lip6.fr \
--cc=linux-next@vger.kernel.org \
--cc=mmarek@suse.com \
--cc=vaishali.thakkar@oracle.com \
/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