All of lore.kernel.org
 help / color / mirror / Atom feed
From: wagi@monom.org (Daniel Wagner)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Filter out field names
Date: Fri, 22 Jan 2016 15:32:12 +0100	[thread overview]
Message-ID: <56A23D6C.3010607@monom.org> (raw)
In-Reply-To: <alpine.DEB.2.10.1601211138470.2530@hadrien>

Hi Julia,

On 21.01.16 12:02, Julia Lawall wrote:
>> There are a bunch of problems, e,g. the hard coded type/names or the
>> WARN_ON() should be put in front of the dereferences but that is something
>> for later to improve. The main problem I face at this point is to filter
>> out the spin_lock() and spin_unlock() access. All my attempts didn't let
>> to the expected result. I think the best thing would be to match on the
>> type. So if 'f' is of type spinlock_t ignore it. Any ideas how this
>> could be expressed?
>
> Here is my suggestion (see below for explanations):

Thanks a lot for your help! It's a really appreciated. Unfortunately, I 
haven't found time to play with it because of some fights with 
paperwork. Hopefully I have time on Monday to continue with this work.

Have a nice weekend,
Daniel

  reply	other threads:[~2016-01-22 14:32 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-01-21  9:47 [Cocci] Filter out field names Daniel Wagner
2016-01-21 11:02 ` Julia Lawall
2016-01-22 14:32   ` Daniel Wagner [this message]
2016-01-22 16:09   ` SF Markus Elfring
2016-02-26 10:40   ` Daniel Wagner
2016-02-26 12:40     ` SF Markus Elfring

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=56A23D6C.3010607@monom.org \
    --to=wagi@monom.org \
    --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.