Rust: Accept CFG inconsistencies

github · Sep 25, 2024 · cbc2389 · cbc2389
1 parent d299380
commit cbc2389
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/CfgConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/CfgConsistency.expected
@@ -0,0 +1,2 @@
+deadEnd
+| gen_match_arm.rs:10:20:10:25 | ... != ... |
diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/CfgConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/CfgConsistency.expected
@@ -0,0 +1,2 @@
+deadEnd
+| gen_match_expr.rs:10:20:10:25 | ... != ... |
diff --git a/rust/ql/test/library-tests/controlflow/CONSISTENCY/CfgConsistency.expected b/rust/ql/test/library-tests/controlflow/CONSISTENCY/CfgConsistency.expected
@@ -0,0 +1,3 @@
+deadEnd
+| test.rs:124:28:124:33 | ... < ... |
+| test.rs:139:30:141:9 | BlockExpr |
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		deadEnd
		\| gen_match_arm.rs:10:20:10:25 \| ... != ... \|
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		deadEnd
		\| gen_match_expr.rs:10:20:10:25 \| ... != ... \|