Commit a2b0fe74 authored by Julia Lawall's avatar Julia Lawall Committed by Masahiro Yamada

coccinelle: deref_null: avoid useless computation

The effect of the rules ifm1, pr11, and pr12 is only used in the final rule,
which depends on context && !org && !report.  Thus these rules should only
be performed in those circumstances.
Signed-off-by: default avatarJulia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: default avatarMasahiro Yamada <yamada.masahiro@socionext.com>
parent e856f3a7
...@@ -212,7 +212,7 @@ else S3 ...@@ -212,7 +212,7 @@ else S3
// The following three rules are duplicates of ifm, pr1 and pr2 respectively. // The following three rules are duplicates of ifm, pr1 and pr2 respectively.
// It is need because the previous rule as already made a "change". // It is need because the previous rule as already made a "change".
@ifm1@ @ifm1 depends on context && !org && !report@
expression *E; expression *E;
statement S1,S2; statement S1,S2;
position p1; position p1;
...@@ -220,7 +220,7 @@ position p1; ...@@ -220,7 +220,7 @@ position p1;
if@p1 ((E == NULL && ...) || ...) S1 else S2 if@p1 ((E == NULL && ...) || ...) S1 else S2
@pr11 expression@ @pr11 depends on context && !org && !report expression@
expression *ifm1.E; expression *ifm1.E;
identifier f; identifier f;
position p1; position p1;
...@@ -228,7 +228,7 @@ position p1; ...@@ -228,7 +228,7 @@ position p1;
(E != NULL && ...) ? <+...E->f@p1...+> : ... (E != NULL && ...) ? <+...E->f@p1...+> : ...
@pr12 expression@ @pr12 depends on context && !org && !report expression@
expression *ifm1.E; expression *ifm1.E;
identifier f; identifier f;
position p2; position p2;
......
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