Re: [PATCH] scripts: coccinelle: check for !(un)?likely usage

From: Markus Elfring
Date: Sun Aug 25 2019 - 11:31:44 EST


> +(
> +* !likely(E)
> +|
> +* !unlikely(E)
> +)

Can the following code variant be nicer?

+*! \( likely \| unlikely \) (E)


> +(
> +-!likely(E)
> ++unlikely(E)
> +|
> +-!unlikely(E)
> ++likely(E)
> +)

I would find the following SmPL change specification more succinct.

+(
+-!likely
++unlikely
+|
+-!unlikely
++likely
+)(E)


> +coccilib.org.print_todo(p[0], "WARNING use unlikely instead of !likely")
â
> +msg="WARNING: Use unlikely instead of !likely"
> +coccilib.report.print_report(p[0], msg)

1. I find such a message construction nicer without the extra variable âmsgâ.

2. I recommend to make the provided information unique.
* How do you think about to split the SmPL disjunction in the rule ârâ
for this purpose?

* Should the transformation become clearer?

Regards,
Markus