/// Find double locks. False positives may occur when some paths cannot /// occur at execution, due to the values of variables, and when there is /// an intervening function call that releases the lock. /// // Confidence: Moderate // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. // Copyright: (C) 2010 Julia Lawall, DIKU. GPLv2. // Copyright: (C) 2010 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: // Options: --no-includes --include-headers virtual org virtual report @locked@ position p1; expression E1; position p; @@ ( mutex_lock@p1 | mutex_trylock@p1 | spin_lock@p1 | spin_trylock@p1 | read_lock@p1 | read_trylock@p1 | write_lock@p1 | write_trylock@p1 ) (E1@p,...); @balanced@ position p1 != locked.p1; position locked.p; identifier lock,unlock; expression x <= locked.E1; expression E,locked.E1; expression E2; @@ if (E) { <+... when != E1 lock(E1@p,...) ...+> } ... when != E1 when != \(x = E2\|&x\) when forall if (E) { <+... when != E1 unlock@p1(E1,...) ...+> } @r depends on !balanced exists@ expression x <= locked.E1; expression locked.E1; expression E2; identifier lock; position locked.p,p1,p2; @@ lock@p1 (E1@p,...); ... when != E1 when != \(x = E2\|&x\) lock@p2 (E1,...); @script:python depends on org@ p1 << r.p1; p2 << r.p2; lock << r.lock; @@ cocci.print_main(lock,p1) cocci.print_secs("second lock",p2) @script:python depends on report@ p1 << r.p1; p2 << r.p2; lock << r.lock; @@ msg = "second lock on line %s" % (p2[0].line) coccilib.report.print_report(p1[0],msg) s/?id=2b5078937355c0d662ecef54b7d4d04f48da4fa9'>refslogtreecommitdiff
path: root/drivers/usb/dwc3/Kconfig
ptions
AgeCommit message (Expand)AuthorFilesLines
context:
space:
mode:
authorFeng <fgao@ikuai8.com>2017-01-20 21:40:43 +0800
committerPablo Neira Ayuso <pablo@netfilter.org>2017-02-02 14:30:19 +0100
commit10435c1192d06bdb0bac7666452d8219d7e7c477 (patch)
tree93b76419142fe17b1d162d062c663297a3e8a965 /include/dt-bindings/clock/qcom,mmcc-apq8084.h
parent1a28ad74ebd8f9d3c7eae0d781f72a6d30545e17 (diff)
netfilter: nf_tables: Eliminate duplicated code in nf_tables_table_enable()
If something fails in nf_tables_table_enable(), it unregisters the chains. But the rollback code is the same as nf_tables_table_disable() almostly, except there is one counter check. Now create one wrapper function to eliminate the duplicated codes. Signed-off-by: Feng <fgao@ikuai8.com> Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'include/dt-bindings/clock/qcom,mmcc-apq8084.h')