Skip to content

Commit 5f09408

Browse files
author
Nikita Kraiouchkine
committed
Revert accidental change to EXP39-C and update .expected results
1 parent e2e6590 commit 5f09408

File tree

2 files changed

+47
-47
lines changed

2 files changed

+47
-47
lines changed

‎c/cert/src/rules/EXP39-C/DoNotAccessVariableViaPointerOfIncompatibleType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
import cpp
1515
import codingstandards.c.cert
16-
import semmle.code.cpp.ir.dataflow.DataFlow
16+
import semmle.code.cpp.dataflow.DataFlow
1717
import semmle.code.cpp.controlflow.Dominance
1818
import DataFlow::PathGraph
1919

‎c/cert/test/rules/EXP39-C/DoNotAccessVariableViaPointerOfIncompatibleType.expected

Lines changed: 46 additions & 46 deletions
Original file line numberDiff line numberDiff line change
@@ -1,60 +1,60 @@
11
edges
2-
| test.c:49:8:49:9 | s3 | test.c:50:8:50:9 | s1 |
3-
| test.c:60:16:60:18 | E1A | test.c:61:16:61:17 | e1 |
4-
| test.c:60:16:60:18 | E1A | test.c:65:10:65:12 | & ... |
5-
| test.c:68:22:68:22 | v | test.c:68:41:68:41 | v |
6-
| test.c:72:13:72:15 | & ... | test.c:68:22:68:22 | v |
7-
| test.c:74:13:74:15 | & ... | test.c:68:22:68:22 | v |
8-
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 |
9-
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 |
10-
| test.c:98:32:98:38 | call to realloc | test.c:99:3:99:4 | s3 |
11-
| test.c:98:32:98:38 | call to realloc | test.c:100:10:100:11 | s3 |
12-
| test.c:98:40:98:41 | s2 | test.c:98:32:98:38 | call to realloc |
2+
| test.c:50:8:50:9 | s3 | test.c:51:8:51:9 | s1 |
3+
| test.c:61:16:61:18 | E1A | test.c:62:16:62:17 | e1 |
4+
| test.c:61:16:61:18 | E1A | test.c:66:10:66:12 | & ... |
5+
| test.c:69:22:69:22 | v | test.c:69:41:69:41 | v |
6+
| test.c:73:13:73:15 | & ... | test.c:69:22:69:22 | v |
7+
| test.c:75:13:75:15 | & ... | test.c:69:22:69:22 | v |
8+
| test.c:98:32:98:37 | call to malloc | test.c:99:40:99:41 | s2 |
9+
| test.c:98:32:98:37 | call to malloc | test.c:99:40:99:41 | s2 |
10+
| test.c:99:32:99:38 | call to realloc | test.c:100:3:100:4 | s3 |
11+
| test.c:99:32:99:38 | call to realloc | test.c:101:10:101:11 | s3 |
12+
| test.c:99:40:99:41 | s2 | test.c:99:32:99:38 | call to realloc |
1313
nodes
1414
| test.c:6:19:6:20 | & ... | semmle.label | & ... |
1515
| test.c:11:10:11:11 | & ... | semmle.label | & ... |
1616
| test.c:13:17:13:19 | & ... | semmle.label | & ... |
1717
| test.c:15:17:15:19 | & ... | semmle.label | & ... |
1818
| test.c:19:18:19:20 | & ... | semmle.label | & ... |
1919
| test.c:20:20:20:22 | & ... | semmle.label | & ... |
20-
| test.c:21:11:21:13 | & ... | semmle.label | & ... |
21-
| test.c:26:17:26:19 | & ... | semmle.label | & ... |
22-
| test.c:27:10:27:12 | & ... | semmle.label | & ... |
23-
| test.c:28:13:28:15 | & ... | semmle.label | & ... |
24-
| test.c:29:19:29:21 | & ... | semmle.label | & ... |
25-
| test.c:30:16:30:18 | & ... | semmle.label | & ... |
26-
| test.c:47:8:47:9 | s2 | semmle.label | s2 |
27-
| test.c:49:8:49:9 | s3 | semmle.label | s3 |
28-
| test.c:49:8:49:9 | s3 | semmle.label | s3 |
29-
| test.c:50:8:50:9 | s1 | semmle.label | s1 |
30-
| test.c:60:16:60:18 | E1A | semmle.label | E1A |
31-
| test.c:60:16:60:18 | E1A | semmle.label | E1A |
32-
| test.c:61:16:61:17 | e1 | semmle.label | e1 |
33-
| test.c:65:10:65:12 | & ... | semmle.label | & ... |
34-
| test.c:68:22:68:22 | v | semmle.label | v |
35-
| test.c:68:41:68:41 | v | semmle.label | v |
36-
| test.c:72:13:72:15 | & ... | semmle.label | & ... |
37-
| test.c:72:13:72:15 | & ... | semmle.label | & ... |
38-
| test.c:74:13:74:15 | & ... | semmle.label | & ... |
39-
| test.c:74:13:74:15 | & ... | semmle.label | & ... |
40-
| test.c:97:32:97:37 | call to malloc | semmle.label | call to malloc |
41-
| test.c:97:32:97:37 | call to malloc | semmle.label | call to malloc |
42-
| test.c:98:32:98:38 | call to realloc | semmle.label | call to realloc |
43-
| test.c:98:32:98:38 | call to realloc | semmle.label | call to realloc |
44-
| test.c:98:32:98:38 | call to realloc | semmle.label | call to realloc |
45-
| test.c:98:40:98:41 | s2 | semmle.label | s2 |
46-
| test.c:98:40:98:41 | s2 | semmle.label | s2 |
47-
| test.c:99:3:99:4 | s3 | semmle.label | s3 |
48-
| test.c:100:10:100:11 | s3 | semmle.label | s3 |
20+
| test.c:22:11:22:13 | & ... | semmle.label | & ... |
21+
| test.c:27:17:27:19 | & ... | semmle.label | & ... |
22+
| test.c:28:10:28:12 | & ... | semmle.label | & ... |
23+
| test.c:29:13:29:15 | & ... | semmle.label | & ... |
24+
| test.c:30:19:30:21 | & ... | semmle.label | & ... |
25+
| test.c:31:16:31:18 | & ... | semmle.label | & ... |
26+
| test.c:48:8:48:9 | s2 | semmle.label | s2 |
27+
| test.c:50:8:50:9 | s3 | semmle.label | s3 |
28+
| test.c:50:8:50:9 | s3 | semmle.label | s3 |
29+
| test.c:51:8:51:9 | s1 | semmle.label | s1 |
30+
| test.c:61:16:61:18 | E1A | semmle.label | E1A |
31+
| test.c:61:16:61:18 | E1A | semmle.label | E1A |
32+
| test.c:62:16:62:17 | e1 | semmle.label | e1 |
33+
| test.c:66:10:66:12 | & ... | semmle.label | & ... |
34+
| test.c:69:22:69:22 | v | semmle.label | v |
35+
| test.c:69:41:69:41 | v | semmle.label | v |
36+
| test.c:73:13:73:15 | & ... | semmle.label | & ... |
37+
| test.c:73:13:73:15 | & ... | semmle.label | & ... |
38+
| test.c:75:13:75:15 | & ... | semmle.label | & ... |
39+
| test.c:75:13:75:15 | & ... | semmle.label | & ... |
40+
| test.c:98:32:98:37 | call to malloc | semmle.label | call to malloc |
41+
| test.c:98:32:98:37 | call to malloc | semmle.label | call to malloc |
42+
| test.c:99:32:99:38 | call to realloc | semmle.label | call to realloc |
43+
| test.c:99:32:99:38 | call to realloc | semmle.label | call to realloc |
44+
| test.c:99:32:99:38 | call to realloc | semmle.label | call to realloc |
45+
| test.c:99:40:99:41 | s2 | semmle.label | s2 |
46+
| test.c:99:40:99:41 | s2 | semmle.label | s2 |
47+
| test.c:100:3:100:4 | s3 | semmle.label | s3 |
48+
| test.c:101:10:101:11 | s3 | semmle.label | s3 |
4949
subpaths
5050
#select
5151
| test.c:6:19:6:20 | & ... | test.c:6:19:6:20 | & ... | test.c:6:19:6:20 | & ... | Cast from float to int results in an incompatible pointer base type. |
5252
| test.c:11:10:11:11 | & ... | test.c:11:10:11:11 | & ... | test.c:11:10:11:11 | & ... | Cast from short[2] to int results in an incompatible pointer base type. |
5353
| test.c:13:17:13:19 | & ... | test.c:13:17:13:19 | & ... | test.c:13:17:13:19 | & ... | Cast from short[2] to short[4] results in an incompatible pointer base type. |
5454
| test.c:19:18:19:20 | & ... | test.c:19:18:19:20 | & ... | test.c:19:18:19:20 | & ... | Cast from char to signed char results in an incompatible pointer base type. |
55-
| test.c:29:19:29:21 | & ... | test.c:29:19:29:21 | & ... | test.c:29:19:29:21 | & ... | Cast from int to unsigned int results in an incompatible pointer base type. |
56-
| test.c:47:8:47:9 | s2 | test.c:47:8:47:9 | s2 | test.c:47:8:47:9 | s2 | Cast from struct <unnamed> to struct <unnamed> results in an incompatible pointer base type. |
57-
| test.c:49:8:49:9 | s3 | test.c:49:8:49:9 | s3 | test.c:49:8:49:9 | s3 | Cast from S1 to struct <unnamed> results in an incompatible pointer base type. |
58-
| test.c:50:8:50:9 | s1 | test.c:50:8:50:9 | s1 | test.c:50:8:50:9 | s1 | Cast from struct <unnamed> to S1 results in an incompatible pointer base type. |
59-
| test.c:68:41:68:41 | v | test.c:72:13:72:15 | & ... | test.c:68:41:68:41 | v | Cast from float to int results in an incompatible pointer base type. |
60-
| test.c:99:3:99:4 | s3 | test.c:98:40:98:41 | s2 | test.c:99:3:99:4 | s3 | Cast from S2 to S3 results in an incompatible pointer base type. |
55+
| test.c:30:19:30:21 | & ... | test.c:30:19:30:21 | & ... | test.c:30:19:30:21 | & ... | Cast from int to unsigned int results in an incompatible pointer base type. |
56+
| test.c:48:8:48:9 | s2 | test.c:48:8:48:9 | s2 | test.c:48:8:48:9 | s2 | Cast from struct <unnamed> to struct <unnamed> results in an incompatible pointer base type. |
57+
| test.c:50:8:50:9 | s3 | test.c:50:8:50:9 | s3 | test.c:50:8:50:9 | s3 | Cast from S1 to struct <unnamed> results in an incompatible pointer base type. |
58+
| test.c:51:8:51:9 | s1 | test.c:51:8:51:9 | s1 | test.c:51:8:51:9 | s1 | Cast from struct <unnamed> to S1 results in an incompatible pointer base type. |
59+
| test.c:69:41:69:41 | v | test.c:73:13:73:15 | & ... | test.c:69:41:69:41 | v | Cast from float to int results in an incompatible pointer base type. |
60+
| test.c:100:3:100:4 | s3 | test.c:99:40:99:41 | s2 | test.c:100:3:100:4 | s3 | Cast from S2 to S3 results in an incompatible pointer base type. |

0 commit comments

Comments
 (0)