Skip to content

Commit e5cdb71

Browse files
jketemajketema
committed
C++: Update expected test results after dataflow library changes and merge from main
1 parent 989e004 commit e5cdb71

File tree

10 files changed

+33
-28
lines changed

10 files changed

+33
-28
lines changed

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

+1-1
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ edges
1616
| test.c:97:32:97:37 | call to malloc | test.c:98:40:98:41 | s2 | provenance | |
1717
| test.c:98:32:98:38 | call to realloc | test.c:99:3:99:4 | s3 | provenance | |
1818
| test.c:98:32:98:38 | call to realloc | test.c:100:10:100:11 | s3 | provenance | |
19-
| test.c:98:40:98:41 | s2 | test.c:98:32:98:38 | call to realloc | provenance | |
19+
| test.c:98:40:98:41 | s2 | test.c:98:32:98:38 | call to realloc | provenance | Config |
2020
nodes
2121
| test.c:6:19:6:20 | & ... | semmle.label | & ... |
2222
| test.c:11:10:11:11 | & ... | semmle.label | & ... |

‎c/common/test/rules/donotsubtractpointersaddressingdifferentarrays/DoNotSubtractPointersAddressingDifferentArrays.expected

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,10 @@ problems
44
| test.c:13:10:13:11 | p4 | test.c:5:14:5:15 | l2 | test.c:13:10:13:11 | p4 | Subtraction between left operand pointing to array $@ and other operand pointing to array $@. | test.c:3:7:3:8 | l2 | l2 | test.c:2:7:2:8 | l1 | l1 |
55
| test.c:13:15:13:16 | l1 | test.c:13:15:13:16 | l1 | test.c:13:15:13:16 | l1 | Subtraction between right operand pointing to array $@ and other operand pointing to array $@. | test.c:2:7:2:8 | l1 | l1 | test.c:3:7:3:8 | l2 | l2 |
66
edges
7-
| test.c:4:14:4:15 | l1 | test.c:4:14:4:18 | access to array | provenance | |
7+
| test.c:4:14:4:15 | l1 | test.c:4:14:4:18 | access to array | provenance | Config |
88
| test.c:4:14:4:18 | access to array | test.c:10:10:10:11 | p1 | provenance | |
99
| test.c:4:14:4:18 | access to array | test.c:12:10:12:11 | p1 | provenance | |
10-
| test.c:5:14:5:15 | l2 | test.c:5:14:5:19 | access to array | provenance | |
10+
| test.c:5:14:5:15 | l2 | test.c:5:14:5:19 | access to array | provenance | Config |
1111
| test.c:5:14:5:19 | access to array | test.c:11:10:11:11 | p2 | provenance | |
1212
| test.c:5:14:5:19 | access to array | test.c:12:15:12:16 | p2 | provenance | |
1313
| test.c:5:14:5:19 | access to array | test.c:13:10:13:11 | p4 | provenance | |

‎c/common/test/rules/donotuserelationaloperatorswithdifferingarrays/DoNotUseRelationalOperatorsWithDifferingArrays.expected

+3-3
Original file line numberDiff line numberDiff line change
@@ -11,17 +11,17 @@ problems
1111
| test.c:25:7:25:14 | ... >= ... | test.c:25:13:25:14 | l3 | test.c:25:13:25:14 | l3 | Compare operation >= comparing right operand pointing to array $@ and other operand pointing to array $@. | test.c:4:7:4:8 | l3 | l3 | test.c:2:7:2:8 | l1 | l1 |
1212
edges
1313
| test.c:6:13:6:14 | l1 | test.c:13:12:13:13 | p0 | provenance | |
14-
| test.c:7:14:7:15 | l1 | test.c:7:14:7:18 | access to array | provenance | |
14+
| test.c:7:14:7:15 | l1 | test.c:7:14:7:18 | access to array | provenance | Config |
1515
| test.c:7:14:7:18 | access to array | test.c:11:7:11:8 | p1 | provenance | |
1616
| test.c:7:14:7:18 | access to array | test.c:13:7:13:8 | p1 | provenance | |
1717
| test.c:7:14:7:18 | access to array | test.c:15:13:15:14 | p1 | provenance | |
1818
| test.c:7:14:7:18 | access to array | test.c:17:7:17:8 | p1 | provenance | |
1919
| test.c:7:14:7:18 | access to array | test.c:23:13:23:14 | p1 | provenance | |
2020
| test.c:7:14:7:18 | access to array | test.c:25:7:25:8 | p1 | provenance | |
21-
| test.c:8:14:8:15 | l1 | test.c:8:14:8:18 | access to array | provenance | |
21+
| test.c:8:14:8:15 | l1 | test.c:8:14:8:18 | access to array | provenance | Config |
2222
| test.c:8:14:8:18 | access to array | test.c:11:12:11:13 | p2 | provenance | |
2323
| test.c:8:14:8:18 | access to array | test.c:21:7:21:8 | p2 | provenance | |
24-
| test.c:9:14:9:15 | l2 | test.c:9:14:9:18 | access to array | provenance | |
24+
| test.c:9:14:9:15 | l2 | test.c:9:14:9:18 | access to array | provenance | Config |
2525
| test.c:9:14:9:18 | access to array | test.c:21:12:21:13 | p3 | provenance | |
2626
nodes
2727
| test.c:6:13:6:14 | l1 | semmle.label | l1 |

‎cpp/autosar/test/rules/A18-1-4/PointerToAnElementOfAnArrayPassedToASmartPointer.expected

+1
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ edges
1111
| test.cpp:3:36:3:45 | new[] | test.cpp:27:20:27:37 | call to allocate_int_array | provenance | |
1212
| test.cpp:11:29:11:41 | call to unique_ptr | test.cpp:12:27:12:28 | v2 | provenance | |
1313
| test.cpp:12:27:12:28 | v2 | test.cpp:12:30:12:36 | call to release | provenance | |
14+
| test.cpp:12:27:12:28 | v2 | test.cpp:12:30:12:36 | call to release | provenance | Config |
1415
| test.cpp:27:20:27:37 | call to allocate_int_array | test.cpp:32:12:32:20 | int_array | provenance | |
1516
nodes
1617
| test.cpp:3:36:3:45 | new[] | semmle.label | new[] |

‎cpp/autosar/test/rules/A7-1-2/VariableMissingConstexpr.expected

-6
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,3 @@
1-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:64,7-15)
2-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:79,10-18)
3-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:79,44-52)
4-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:80,17-25)
5-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:81,5-13)
6-
WARNING: Module DataFlow has been deprecated and may be removed in future (VariableMissingConstexpr.ql:82,9-17)
71
| test.cpp:4:5:4:6 | g1 | Variable g1 could be marked 'constexpr'. |
82
| test.cpp:6:5:6:6 | g2 | Variable g2 could be marked 'constexpr'. |
93
| test.cpp:13:14:13:15 | lc | Variable lc could be marked 'constexpr'. |

‎cpp/cert/test/rules/CTR52-CPP/GuaranteeGenericCppLibraryFunctionsDoNotOverflow.expected

+9-9
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
1-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:97,7-15)
2-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:97,27-35)
3-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:98,9-17)
4-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:102,9-17)
5-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:102,29-37)
6-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:103,11-19)
7-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:113,35-43)
8-
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:114,11-19)
9-
WARNING: Module TaintTracking has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:113,9-22)
1+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:88,7-15)
2+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:88,27-35)
3+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:89,9-17)
4+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:93,9-17)
5+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:93,29-37)
6+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:94,11-19)
7+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:104,35-43)
8+
WARNING: Module DataFlow has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:105,11-19)
9+
WARNING: Module TaintTracking has been deprecated and may be removed in future (GuaranteeGenericCppLibraryFunctionsDoNotOverflow.ql:104,9-22)
1010
| test.cpp:8:42:8:46 | call to begin | Output iterator for $@ is not guaranteed to be large enough for the input iterator. | test.cpp:8:3:8:11 | call to copy | call to copy |
1111
| test.cpp:17:42:17:46 | call to begin | Output iterator for $@ is not guaranteed to be large enough for the input iterator. | test.cpp:17:3:17:11 | call to copy | call to copy |
1212
| test.cpp:55:42:55:46 | call to begin | Output iterator for $@ is not guaranteed to be large enough for the input iterator. | test.cpp:55:3:55:11 | call to copy | call to copy |

‎cpp/cert/test/rules/CTR55-CPP/DoNotUseAnAdditiveOperatorOnAnIterator.expected

+9
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:38,5-13)
2+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:38,25-33)
3+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:38,51-59)
4+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:39,5-13)
5+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:39,25-33)
6+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:39,52-60)
7+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:74,5-13)
8+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:74,25-33)
9+
WARNING: Module DataFlow has been deprecated and may be removed in future (DoNotUseAnAdditiveOperatorOnAnIterator.ql:75,7-15)
110
| test.cpp:8:7:8:7 | i | Increment of iterator may overflow since its bounds are not checked. |
211
| test.cpp:9:9:9:9 | i | Increment of iterator may overflow since its bounds are not checked. |
312
| test.cpp:10:9:10:9 | i | Increment of iterator may overflow since its bounds are not checked. |

‎cpp/common/test/rules/donotsubtractpointersaddressingdifferentarrays/DoNotSubtractPointersAddressingDifferentArrays.expected

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,10 @@ problems
44
| test.cpp:13:10:13:11 | p4 | test.cpp:5:14:5:15 | l2 | test.cpp:13:10:13:11 | p4 | Subtraction between left operand pointing to array $@ and other operand pointing to array $@. | test.cpp:3:7:3:8 | l2 | l2 | test.cpp:2:7:2:8 | l1 | l1 |
55
| test.cpp:13:15:13:16 | l1 | test.cpp:13:15:13:16 | l1 | test.cpp:13:15:13:16 | l1 | Subtraction between right operand pointing to array $@ and other operand pointing to array $@. | test.cpp:2:7:2:8 | l1 | l1 | test.cpp:3:7:3:8 | l2 | l2 |
66
edges
7-
| test.cpp:4:14:4:15 | l1 | test.cpp:4:14:4:18 | access to array | provenance | |
7+
| test.cpp:4:14:4:15 | l1 | test.cpp:4:14:4:18 | access to array | provenance | Config |
88
| test.cpp:4:14:4:18 | access to array | test.cpp:10:10:10:11 | p1 | provenance | |
99
| test.cpp:4:14:4:18 | access to array | test.cpp:12:10:12:11 | p1 | provenance | |
10-
| test.cpp:5:14:5:15 | l2 | test.cpp:5:14:5:19 | access to array | provenance | |
10+
| test.cpp:5:14:5:15 | l2 | test.cpp:5:14:5:19 | access to array | provenance | Config |
1111
| test.cpp:5:14:5:19 | access to array | test.cpp:11:10:11:11 | p2 | provenance | |
1212
| test.cpp:5:14:5:19 | access to array | test.cpp:12:15:12:16 | p2 | provenance | |
1313
| test.cpp:5:14:5:19 | access to array | test.cpp:13:10:13:11 | p4 | provenance | |

‎cpp/common/test/rules/donotuserelationaloperatorswithdifferingarrays/DoNotUseRelationalOperatorsWithDifferingArrays.expected

+3-3
Original file line numberDiff line numberDiff line change
@@ -11,17 +11,17 @@ problems
1111
| test.cpp:25:7:25:14 | ... >= ... | test.cpp:25:13:25:14 | l3 | test.cpp:25:13:25:14 | l3 | Compare operation >= comparing right operand pointing to array $@ and other operand pointing to array $@. | test.cpp:4:7:4:8 | l3 | l3 | test.cpp:2:7:2:8 | l1 | l1 |
1212
edges
1313
| test.cpp:6:13:6:14 | l1 | test.cpp:13:12:13:13 | p0 | provenance | |
14-
| test.cpp:7:14:7:15 | l1 | test.cpp:7:14:7:18 | access to array | provenance | |
14+
| test.cpp:7:14:7:15 | l1 | test.cpp:7:14:7:18 | access to array | provenance | Config |
1515
| test.cpp:7:14:7:18 | access to array | test.cpp:11:7:11:8 | p1 | provenance | |
1616
| test.cpp:7:14:7:18 | access to array | test.cpp:13:7:13:8 | p1 | provenance | |
1717
| test.cpp:7:14:7:18 | access to array | test.cpp:15:13:15:14 | p1 | provenance | |
1818
| test.cpp:7:14:7:18 | access to array | test.cpp:17:7:17:8 | p1 | provenance | |
1919
| test.cpp:7:14:7:18 | access to array | test.cpp:23:13:23:14 | p1 | provenance | |
2020
| test.cpp:7:14:7:18 | access to array | test.cpp:25:7:25:8 | p1 | provenance | |
21-
| test.cpp:8:14:8:15 | l1 | test.cpp:8:14:8:18 | access to array | provenance | |
21+
| test.cpp:8:14:8:15 | l1 | test.cpp:8:14:8:18 | access to array | provenance | Config |
2222
| test.cpp:8:14:8:18 | access to array | test.cpp:11:12:11:13 | p2 | provenance | |
2323
| test.cpp:8:14:8:18 | access to array | test.cpp:21:7:21:8 | p2 | provenance | |
24-
| test.cpp:9:14:9:15 | l2 | test.cpp:9:14:9:18 | access to array | provenance | |
24+
| test.cpp:9:14:9:15 | l2 | test.cpp:9:14:9:18 | access to array | provenance | Config |
2525
| test.cpp:9:14:9:18 | access to array | test.cpp:21:12:21:13 | p3 | provenance | |
2626
nodes
2727
| test.cpp:6:13:6:14 | l1 | semmle.label | l1 |

‎cpp/common/test/rules/ownedpointervaluestoredinunrelatedsmartpointer/OwnedPointerValueStoredInUnrelatedSmartPointer.expected

+3-2
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,11 @@ edges
1111
| test.cpp:3:14:3:15 | v1 | test.cpp:7:28:7:29 | v2 | provenance | |
1212
| test.cpp:4:13:4:14 | v1 | test.cpp:7:28:7:29 | v2 | provenance | |
1313
| test.cpp:5:27:5:28 | v1 | test.cpp:5:27:5:29 | call to shared_ptr | provenance | |
14+
| test.cpp:5:27:5:28 | v1 | test.cpp:5:27:5:29 | call to shared_ptr | provenance | Config |
1415
| test.cpp:5:27:5:29 | call to shared_ptr | test.cpp:6:28:6:29 | p1 | provenance | |
1516
| test.cpp:5:27:5:29 | call to shared_ptr | test.cpp:6:28:6:29 | p1 | provenance | |
16-
| test.cpp:6:28:6:29 | p1 | test.cpp:6:31:6:33 | call to get | provenance | |
17-
| test.cpp:6:28:6:29 | p1 | test.cpp:6:31:6:33 | call to get | provenance | |
17+
| test.cpp:6:28:6:29 | p1 | test.cpp:6:31:6:33 | call to get | provenance | Config |
18+
| test.cpp:6:28:6:29 | p1 | test.cpp:6:31:6:33 | call to get | provenance | Config |
1819
| test.cpp:8:8:8:14 | 0 | test.cpp:9:28:9:29 | v2 | provenance | |
1920
| test.cpp:10:8:10:17 | new | test.cpp:11:28:11:29 | v2 | provenance | |
2021
| test.cpp:10:8:10:17 | new | test.cpp:12:28:12:29 | v2 | provenance | |

0 commit comments

Comments
 (0)