Commit 38857318 authored by Jérémy LEFAURE's avatar Jérémy LEFAURE Committed by Julia Lawall

coccinelle: Extend address test from ifaddr semantic patch to test expressions

The test of an expression's address does not necessarily represent the
whole condition, it may only be a part of it. Also, an expression's
address is likely to be non-zero in every test expression, not only in
if statements.

This change aims at detecting an address test in more complex conditions
and not only in if statements.
Signed-off-by: default avatarJérémy Lefaure <jeremy.lefaure@netatmo.com>
Signed-off-by: default avatarJulia Lawall <julia.lawall@inria.fr>
parent 20855e4c
......@@ -14,12 +14,10 @@ virtual context
@r@
expression x;
statement S1,S2;
position p;
@@
*if@p (&x)
S1 else S2
*\(&x@p == NULL \| &x@p != NULL\)
@script:python depends on org@
p << r.p;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment