From: Cihangir Akturk <cakturk@gmail.com>
To: Julia Lawall <julia.lawall@lip6.fr>
Cc: Gilles.Muller@lip6.fr, nicolas.palix@imag.fr, mmarek@suse.com,
cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] coccicheck: improve pattern for getting relative path
Date: Fri, 22 Sep 2017 22:28:25 +0300 [thread overview]
Message-ID: <20170922192825.GA12554@yoga.localdomain> (raw)
In-Reply-To: <alpine.DEB.2.20.1708102108110.2174@hadrien>
On Thu, Aug 10, 2017 at 09:08:31PM +0200, Julia Lawall wrote:
>
>
> On Thu, 10 Aug 2017, Cihangir Akturk wrote:
>
> > When invoked with V=1, coccicheck script prints the information about
> > which semantic patch (*.cocci file) used for this operation. Actually,
> > it prints out the relative path of the related semantic patch. The
> > script uses sed to remove the source tree part from cocci file path like
> > so:
> >
> > FILE=`echo $COCCI | sed "s|$srctree/||"`
> >
> > This pattern works well most of the time. But in cases where $COCCI
> > doesn't start with "./" characters, it doesn't remove the right part.
> >
> > Consider the following scenario:
> >
> > $ make coccicheck COCCI=scripts/coccinelle/api/drm-get-put.cocci \
> > MODE=patch M=drivers/staging V=1
> >
> > where
> >
> > COCCI=scripts/coccinelle/api/drm-get-put.cocci and srctree=.
> >
> > In this case, out pattern matches the first "s/", and we end up
> > assigning "scriptcoccinelle/api/drm-get-put.cocci" to $FILE.
> >
> > Fix this by adding a caret ^ at the beginning of regex pattern, so that
> > it matches only start of the path.
>
> Nicolas, is this ok?
Any comments on this patch? No one has commented yet. But I still get
the same results on current linux-next.
>
> julia
>
> >
> > Signed-off-by: Cihangir Akturk <cakturk@gmail.com>
> > ---
> > scripts/coccicheck | 2 +-
> > 1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/scripts/coccicheck b/scripts/coccicheck
> > index ec487b8..8de4245 100755
> > --- a/scripts/coccicheck
> > +++ b/scripts/coccicheck
> > @@ -193,7 +193,7 @@ coccinelle () {
> >
> > if [ $VERBOSE -ne 0 -a $ONLINE -eq 0 ] ; then
> >
> > - FILE=`echo $COCCI | sed "s|$srctree/||"`
> > + FILE=`echo $COCCI | sed "s|^$srctree/||"`
> >
> > echo "Processing `basename $COCCI`"
> > echo "with option(s) \"$OPT\""
> > --
> > 2.7.4
> >
> >
next prev parent reply other threads:[~2017-09-22 19:28 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-10 17:40 [PATCH] coccicheck: improve pattern for getting relative path Cihangir Akturk
2017-08-10 19:08 ` Julia Lawall
2017-09-22 19:28 ` Cihangir Akturk [this message]
2017-09-23 16:49 ` Nicolas Palix (LIG)
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=20170922192825.GA12554@yoga.localdomain \
--to=cakturk@gmail.com \
--cc=Gilles.Muller@lip6.fr \
--cc=cocci@systeme.lip6.fr \
--cc=julia.lawall@lip6.fr \
--cc=linux-kernel@vger.kernel.org \
--cc=mmarek@suse.com \
--cc=nicolas.palix@imag.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