spatch: add a few features to the Linux coccis
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 30 Aug 2019 19:36:10 +0000 (15:36 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 8 Oct 2019 21:11:10 +0000 (17:11 -0400)
commitf7c2136c5a0009bfddd1a462eebc2a2c29bddf8f
tree84a87149870e9768ee56661c5d08c953a99d6a78
parent9ce799f5a81541bbc7472b53696bc2a4390c83eb
spatch: add a few features to the Linux coccis

Notably, the lock transform was mismatched.  We'd set all locks to be
irqsave (by the init function), but the _bh locks were not irqsave.

The issue here is that _bh locks *don't* need to be irqsave, but we
don't know when we look at spinlock_init where the lock is grabbed.  At
least not easily.  So since we say all locks are irqsave, we need to be
consistent.

Another option would be to keep them as spin_lock_bh and #define it, so
we keep the info that it is a bh lock.  Or if we really care about a
slightly lower lock in a Linux driver, we just look at the changelog.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
scripts/spatch/linux/funcs.cocci
scripts/spatch/linux/memory.cocci
scripts/spatch/linux/scalar.cocci