* [Cocci] [PATCH] Coccinelle: doubletest: reduce side effect false positives
@ 2018-08-03 16:32 Julia Lawall
2018-08-13 7:29 ` Masahiro Yamada
0 siblings, 1 reply; 2+ messages in thread
From: Julia Lawall @ 2018-08-03 16:32 UTC (permalink / raw)
To: cocci
Ensure that the cited expression is not a function call or an
assignment to reduce the chance of false positives.
Slightly modify the warning message to indicate another source
of false positves.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
---
scripts/coccinelle/tests/doubletest.cocci | 34 ++++++++++++++++++++++--------
1 file changed, 26 insertions(+), 8 deletions(-)
diff --git a/scripts/coccinelle/tests/doubletest.cocci b/scripts/coccinelle/tests/doubletest.cocci
index 78d74c2..7af2ce7 100644
--- a/scripts/coccinelle/tests/doubletest.cocci
+++ b/scripts/coccinelle/tests/doubletest.cocci
@@ -1,6 +1,7 @@
/// Find &&/|| operations that include the same argument more than once
-//# A common source of false positives is when the argument performs a side
-//# effect.
+//# A common source of false positives is when the expression, or
+//# another expresssion in the same && or || operation, performs a
+//# side effect.
///
// Confidence: Moderate
// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
@@ -20,20 +21,37 @@ position p;
@@
(
-* E at p
- || ... || E
+ E at p || ... || E
|
-* E at p
- && ... && E
+ E at p && ... && E
)
- at script:python depends on org@
+ at bad@
+expression r.E,e1,e2,fn;
+position r.p;
+assignment operator op;
+@@
+
+(
+E at p
+&
+ <+... \(fn(...)\|e1 op e2\|e1++\|e1--\|++e1\|--e1\) ...+>
+)
+
+ at depends on context && !bad@
+expression r.E;
+position r.p;
+@@
+
+*E at p
+
+ at script:python depends on org && !bad@
p << r.p;
@@
cocci.print_main("duplicated argument to && or ||",p)
- at script:python depends on report@
+@script:python depends on report && !bad@
p << r.p;
@@
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [Cocci] [PATCH] Coccinelle: doubletest: reduce side effect false positives
2018-08-03 16:32 [Cocci] [PATCH] Coccinelle: doubletest: reduce side effect false positives Julia Lawall
@ 2018-08-13 7:29 ` Masahiro Yamada
0 siblings, 0 replies; 2+ messages in thread
From: Masahiro Yamada @ 2018-08-13 7:29 UTC (permalink / raw)
To: cocci
2018-08-04 1:32 GMT+09:00 Julia Lawall <Julia.Lawall@lip6.fr>:
> Ensure that the cited expression is not a function call or an
> assignment to reduce the chance of false positives.
>
> Slightly modify the warning message to indicate another source
> of false positves.
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
>
Applied to linux-kbuild. Thanks!
(Please send a reminder
if there are more coccinelle patches I missed.)
> ---
> scripts/coccinelle/tests/doubletest.cocci | 34 ++++++++++++++++++++++--------
> 1 file changed, 26 insertions(+), 8 deletions(-)
>
> diff --git a/scripts/coccinelle/tests/doubletest.cocci b/scripts/coccinelle/tests/doubletest.cocci
> index 78d74c2..7af2ce7 100644
> --- a/scripts/coccinelle/tests/doubletest.cocci
> +++ b/scripts/coccinelle/tests/doubletest.cocci
> @@ -1,6 +1,7 @@
> /// Find &&/|| operations that include the same argument more than once
> -//# A common source of false positives is when the argument performs a side
> -//# effect.
> +//# A common source of false positives is when the expression, or
> +//# another expresssion in the same && or || operation, performs a
> +//# side effect.
> ///
> // Confidence: Moderate
> // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
> @@ -20,20 +21,37 @@ position p;
> @@
>
> (
> -* E at p
> - || ... || E
> + E at p || ... || E
> |
> -* E at p
> - && ... && E
> + E at p && ... && E
> )
>
> - at script:python depends on org@
> + at bad@
> +expression r.E,e1,e2,fn;
> +position r.p;
> +assignment operator op;
> +@@
> +
> +(
> +E at p
> +&
> + <+... \(fn(...)\|e1 op e2\|e1++\|e1--\|++e1\|--e1\) ...+>
> +)
> +
> + at depends on context && !bad@
> +expression r.E;
> +position r.p;
> +@@
> +
> +*E at p
> +
> + at script:python depends on org && !bad@
> p << r.p;
> @@
>
> cocci.print_main("duplicated argument to && or ||",p)
>
> - at script:python depends on report@
> + at script:python depends on report && !bad@
> p << r.p;
> @@
>
>
--
Best Regards
Masahiro Yamada
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-08-13 7:29 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-03 16:32 [Cocci] [PATCH] Coccinelle: doubletest: reduce side effect false positives Julia Lawall
2018-08-13 7:29 ` Masahiro Yamada
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).