Skip to content

Commit 1eba1fe

Browse files
nvetrinisstabellini
authored andcommitted
automation/eclair_analysis: add already clean rules to the analysis
Some MISRA C rules already have no violations in Xen, so they can be set as clean. Reorder the rules in tagging.ecl according to version ordering (i.e. sort -V) and split the configuration on multiple lines for readability. Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org>
1 parent 4bc8dc0 commit 1eba1fe

2 files changed

Lines changed: 94 additions & 1 deletion

File tree

automation/eclair_analysis/ECLAIR/monitored.ecl

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,4 +79,21 @@
7979
-enable=MC3R1.R9.3
8080
-enable=MC3R1.R9.4
8181
-enable=MC3R1.R9.5
82+
-enable=MC3R1.R18.8
83+
-enable=MC3R1.R20.2
84+
-enable=MC3R1.R20.3
85+
-enable=MC3R1.R20.6
86+
-enable=MC3R1.R20.11
87+
-enable=MC3R1.R21.3
88+
-enable=MC3R1.R21.4
89+
-enable=MC3R1.R21.5
90+
-enable=MC3R1.R21.7
91+
-enable=MC3R1.R21.8
92+
-enable=MC3R1.R21.12
93+
-enable=MC3R1.R22.1
94+
-enable=MC3R1.R22.3
95+
-enable=MC3R1.R22.7
96+
-enable=MC3R1.R22.8
97+
-enable=MC3R1.R22.9
98+
-enable=MC3R1.R22.10
8299
-doc_end

automation/eclair_analysis/ECLAIR/tagging.ecl

Lines changed: 77 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,83 @@
1919

2020
-doc_begin="Clean guidelines: new violations for these guidelines are not accepted."
2121

22-
-service_selector={clean_guidelines_common, "MC3R1.D1.1||MC3R1.D2.1||MC3R1.D4.1||MC3R1.D4.11||MC3R1.D4.14||MC3R1.R10.2||MC3R1.R11.7||MC3R1.R11.9||MC3R1.R12.5||MC3R1.R1.1||MC3R1.R1.3||MC3R1.R1.4||MC3R1.R14.1||MC3R1.R16.7||MC3R1.R17.1||MC3R1.R17.3||MC3R1.R17.4||MC3R1.R17.5||MC3R1.R17.6||MC3R1.R20.13||MC3R1.R20.14||MC3R1.R20.4||MC3R1.R20.9||MC3R1.R21.10||MC3R1.R21.13||MC3R1.R21.19||MC3R1.R21.21||MC3R1.R21.9||MC3R1.R2.2||MC3R1.R22.2||MC3R1.R22.4||MC3R1.R22.5||MC3R1.R22.6||MC3R1.R2.6||MC3R1.R3.1||MC3R1.R3.2||MC3R1.R4.1||MC3R1.R4.2||MC3R1.R5.1||MC3R1.R5.2||MC3R1.R5.4||MC3R1.R5.6||MC3R1.R6.1||MC3R1.R6.2||MC3R1.R7.1||MC3R1.R7.2||MC3R1.R7.4||MC3R1.R8.1||MC3R1.R8.10||MC3R1.R8.12||MC3R1.R8.14||MC3R1.R8.2||MC3R1.R8.5||MC3R1.R8.6||MC3R1.R8.8||MC3R1.R9.2||MC3R1.R9.3||MC3R1.R9.4||MC3R1.R9.5"
22+
-service_selector={clean_guidelines_common,
23+
"MC3R1.D1.1||
24+
MC3R1.D2.1||
25+
MC3R1.D4.1||
26+
MC3R1.D4.11||
27+
MC3R1.D4.14||
28+
MC3R1.R1.1||
29+
MC3R1.R1.3||
30+
MC3R1.R1.4||
31+
MC3R1.R2.2||
32+
MC3R1.R2.6||
33+
MC3R1.R3.1||
34+
MC3R1.R3.2||
35+
MC3R1.R4.1||
36+
MC3R1.R4.2||
37+
MC3R1.R5.1||
38+
MC3R1.R5.2||
39+
MC3R1.R5.4||
40+
MC3R1.R5.6||
41+
MC3R1.R6.1||
42+
MC3R1.R6.2||
43+
MC3R1.R7.1||
44+
MC3R1.R7.2||
45+
MC3R1.R7.4||
46+
MC3R1.R8.1||
47+
MC3R1.R8.2||
48+
MC3R1.R8.5||
49+
MC3R1.R8.6||
50+
MC3R1.R8.8||
51+
MC3R1.R8.10||
52+
MC3R1.R8.12||
53+
MC3R1.R8.14||
54+
MC3R1.R9.2||
55+
MC3R1.R9.3||
56+
MC3R1.R9.4||
57+
MC3R1.R9.5||
58+
MC3R1.R10.2||
59+
MC3R1.R11.7||
60+
MC3R1.R11.9||
61+
MC3R1.R12.5||
62+
MC3R1.R14.1||
63+
MC3R1.R16.7||
64+
MC3R1.R17.1||
65+
MC3R1.R17.3||
66+
MC3R1.R17.4||
67+
MC3R1.R17.5||
68+
MC3R1.R17.6||
69+
MC3R1.R18.8||
70+
MC3R1.R20.2||
71+
MC3R1.R20.3||
72+
MC3R1.R20.4||
73+
MC3R1.R20.6||
74+
MC3R1.R20.9||
75+
MC3R1.R20.11||
76+
MC3R1.R20.13||
77+
MC3R1.R20.14||
78+
MC3R1.R21.3||
79+
MC3R1.R21.4||
80+
MC3R1.R21.5||
81+
MC3R1.R21.7||
82+
MC3R1.R21.8||
83+
MC3R1.R21.9||
84+
MC3R1.R21.10||
85+
MC3R1.R21.12||
86+
MC3R1.R21.13||
87+
MC3R1.R21.19||
88+
MC3R1.R21.21||
89+
MC3R1.R22.1||
90+
MC3R1.R22.2||
91+
MC3R1.R22.3||
92+
MC3R1.R22.4||
93+
MC3R1.R22.5||
94+
MC3R1.R22.6||
95+
MC3R1.R22.7||
96+
MC3R1.R22.8||
97+
MC3R1.R22.9||
98+
MC3R1.R22.10"
2399
}
24100

25101
-setq=target,getenv("XEN_TARGET_ARCH")

0 commit comments

Comments
 (0)