[PATCH 0/6] Coccinelle: atomic_as_refcounter: Improvements for source code search specifications

From: SF Markus Elfring
Date: Tue Jul 03 2018 - 03:31:09 EST


From: Markus Elfring <elfring@xxxxxxxxxxxxxxxxxxxxx>
Date: Tue, 3 Jul 2018 09:15:26 +0200

This source code search pattern was programmed in the way that
some implementation details could be improved further.
I suggest to avoid unnecessary code repetition also in this script
for the semantic patch language.

Markus Elfring (6):
Omit placeholder specifications from two SmPL constraints
Optimise a disjunction in the first SmPL rule
Use type âexpressionâ for another metavariable
Replace disjunction by a constraint in two SmPL rules
Use nested disjunctions in two SmPL rules
Use format strings directly in SmPL rules

.../coccinelle/api/atomic_as_refcounter.cocci | 104 +++++++-----------
1 file changed, 39 insertions(+), 65 deletions(-)

--
2.18.0