From: julia.lawall@lip6.fr (Julia Lawall)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Finding several type qualifiers with SmPL?
Date: Thu, 19 Feb 2015 17:54:32 +0100 (CET) [thread overview]
Message-ID: <alpine.DEB.2.10.1502191752360.3284@hadrien> (raw)
In-Reply-To: <34d433ed87a248168742bdfe249d4951@BN1BFFO11FD053.protection.gbl>
> My personal view, if gcc can parse&compile it, spatch should correctly parse
> it. There seem to be some discrepancies currently.
Parsing is hard. Currently, our view is if it is in the Linux kernel
source code, we would like to try to parse it maybe. There will be some
work on the parser in the next few months, however.
Actually, the current issue is not a parsing problem but a matching
problem. I guess it could become a parsing problem by just considering
the second const to be a comment.
julia
next prev parent reply other threads:[~2015-02-19 16:54 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-02-14 18:29 [Cocci] remove typedefs from struct Sören Brinkmann
2015-02-14 18:56 ` Julia Lawall
2015-02-15 1:22 ` Sören Brinkmann
2015-02-15 5:54 ` Julia Lawall
2015-02-15 9:38 ` Julia Lawall
2015-02-15 21:05 ` Sören Brinkmann
2015-02-15 21:16 ` Julia Lawall
2015-02-15 21:31 ` Sören Brinkmann
2015-02-15 21:41 ` Julia Lawall
2015-02-15 21:53 ` Sören Brinkmann
2015-02-15 21:56 ` Julia Lawall
2015-02-16 9:00 ` Sören Brinkmann
2015-02-16 9:10 ` Julia Lawall
2015-02-16 15:59 ` Sören Brinkmann
2015-02-17 6:56 ` Julia Lawall
2015-02-17 19:42 ` Sören Brinkmann
2015-02-17 20:31 ` Julia Lawall
2015-02-18 0:50 ` Sören Brinkmann
2015-02-18 21:44 ` Julia Lawall
2015-02-19 9:08 ` [Cocci] Finding several type qualifiers with SmPL? SF Markus Elfring
2015-02-19 16:47 ` Sören Brinkmann
2015-02-19 16:54 ` Julia Lawall [this message]
2015-02-19 18:55 ` SF Markus Elfring
2015-02-19 18:30 ` SF Markus Elfring
2015-02-15 17:13 ` [Cocci] remove typedefs from struct SF Markus Elfring
2015-02-15 17:32 ` Julia Lawall
2015-02-15 20:15 ` Sören Brinkmann
2015-02-16 4:31 ` Sören Brinkmann
2015-02-16 6:19 ` Julia Lawall
2015-02-16 7:51 ` Sören Brinkmann
2015-02-16 8:10 ` 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=alpine.DEB.2.10.1502191752360.3284@hadrien \
--to=julia.lawall@lip6.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