@@ -10,5 +10,30 @@ int main(int argc, char **argv) {
10
10
getX (); // NON_COMPLIANT
11
11
long double d1; // NON_COMPLIANT (A0-4-2)
12
12
long double d2; // a-0-4-2-deviation COMPLIANT[DEVIATED]
13
+
14
+ long double d3; // codeql::autosar_deviation(a-0-4-2-deviation)
15
+ // COMPLIANT[DEVIATED]
16
+ long double d4; // NON_COMPLIANT (A0-4-2)
17
+ // codeql::autosar_deviation_next_line(a-0-4-2-deviation)
18
+ long double d5; // COMPLIANT[DEVIATED]
19
+ long double d6; // NON_COMPLIANT (A0-4-2)
20
+
21
+ // codeql::autosar_deviation_begin(a-0-4-2-deviation)
22
+ long double d7; // COMPLIANT[DEVIATED]
23
+ getX (); // NON_COMPLIANT (A0-1-2)
24
+ long double d8; // COMPLIANT[DEVIATED]
25
+ getX (); // NON_COMPLIANT (A0-1-2)
26
+ long double d9; // COMPLIANT[DEVIATED]
27
+ // codeql::autosar_deviation_end(a-0-4-2-deviation)
28
+ long double d10; // NON_COMPLIANT (A0-4-2)
29
+ // codeql::autosar_deviation_begin(a-0-4-2-deviation)
30
+ long double d11; // COMPLIANT[DEVIATED]
31
+ getX (); // NON_COMPLIANT (A0-1-2)
32
+ long double d12; // COMPLIANT[DEVIATED]
33
+ getX (); // NON_COMPLIANT (A0-1-2)
34
+ long double d13; // COMPLIANT[DEVIATED]
35
+ // codeql::autosar_deviation_end(a-0-4-2-deviation)
36
+ long double d14; // NON_COMPLIANT (A0-4-2)
37
+ getX (); // NON_COMPLIANT (A0-1-2)
13
38
return 0 ;
14
39
}
0 commit comments