Skip to content

Commit 2cc7388

Browse files
committed
Convert A15-1-3 to the new dataflow library
1 parent 3dae0a6 commit 2cc7388

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

cpp/autosar/src/rules/A15-1-3/ThrownExceptionsShouldBeUnique.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
import cpp
1717
import codingstandards.cpp.autosar
1818
import codingstandards.cpp.exceptions.ExceptionFlow
19-
import semmle.code.cpp.dataflow.DataFlow
19+
import semmle.code.cpp.dataflow.new.DataFlow
2020
import semmle.code.cpp.valuenumbering.HashCons
2121

2222
/** Find a value which defines the exception thrown by the `DirectThrowExpr`, if any. */

cpp/autosar/test/rules/A15-1-3/ThrownExceptionsShouldBeUnique.expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (ThrownExceptionsShouldBeUnique.ql:24,3-11)
21
| test.cpp:6:5:6:26 | throw ... | The $@ thrown here is a possible duplicate of the $@ thrown $@. | test.cpp:6:5:6:26 | call to exception | std::exception exception | test.cpp:14:5:14:26 | call to exception | exception | test.cpp:14:5:14:26 | throw ... | here |
32
| test.cpp:8:5:8:53 | throw ... | The $@ thrown here is a possible duplicate of the $@ thrown $@. | test.cpp:8:5:8:53 | call to runtime_error | std::runtime_error exception | test.cpp:16:5:16:53 | call to runtime_error | exception | test.cpp:16:5:16:53 | throw ... | here |
43
| test.cpp:14:5:14:26 | throw ... | The $@ thrown here is a possible duplicate of the $@ thrown $@. | test.cpp:14:5:14:26 | call to exception | std::exception exception | test.cpp:6:5:6:26 | call to exception | exception | test.cpp:6:5:6:26 | throw ... | here |

0 commit comments

Comments
 (0)