From 7f344fab78dda9a683e5abbde94f96a5c0f6e8d8 Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Fri, 1 Nov 2024 11:28:41 +0100 Subject: [PATCH] Rust: Add data flow consistency queries --- .../DataFlowConsistency.ql | 9 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 8 + .../CONSISTENCY/DataFlowConsistency.expected | 4 + .../CONSISTENCY/DataFlowConsistency.expected | 5 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 14 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 3 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 3 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 4 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 6 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 3 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 10 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 4 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 4 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 4 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 2 + .../CONSISTENCY/DataFlowConsistency.expected | 114 +++++++++ .../CONSISTENCY/DataFlowConsistency.expected | 15 ++ .../CONSISTENCY/DataFlowConsistency.expected | 3 + .../CONSISTENCY/DataFlowConsistency.expected | 9 + .../CONSISTENCY/DataFlowConsistency.expected | 69 +++++ .../CONSISTENCY/DataFlowConsistency.expected | 175 +++++++++++++ .../CONSISTENCY/DataFlowConsistency.expected | 8 + .../CONSISTENCY/DataFlowConsistency.expected | 240 ++++++++++++++++++ 112 files changed, 894 insertions(+) create mode 100644 rust/ql/consistency-queries/DataFlowConsistency.ql create mode 100644 rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/definitions/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/formatstrings/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected create mode 100644 rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected diff --git a/rust/ql/consistency-queries/DataFlowConsistency.ql b/rust/ql/consistency-queries/DataFlowConsistency.ql new file mode 100644 index 000000000000..7d63aa7d68ae --- /dev/null +++ b/rust/ql/consistency-queries/DataFlowConsistency.ql @@ -0,0 +1,9 @@ +import codeql.rust.dataflow.DataFlow::DataFlow as DataFlow +private import rust +private import codeql.rust.dataflow.internal.DataFlowImpl +private import codeql.rust.dataflow.internal.TaintTrackingImpl +private import codeql.dataflow.internal.DataFlowImplConsistency + +private module Input implements InputSig { } + +import MakeConsistency diff --git a/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..33a015c809cb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_abi.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..5c931a7dfd57 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_arg_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..0b272615a03b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_array_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..7e257e4f04e5 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_assoc_type_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..f3bae512ec4b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_attr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..2efd6dd82ead --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_await_expr.rs:6:17:6:21 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4dcf3076e517 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,8 @@ +uniqueEnclosingCallable +| gen_become_expr.rs:4:11:4:16 | Param | Node should have one enclosing callable but has 0. | +| gen_become_expr.rs:4:19:4:24 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| gen_become_expr.rs:8:17:8:36 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| gen_become_expr.rs:4:11:4:16 | Param | Node should have one type but has 0. | +| gen_become_expr.rs:4:19:4:24 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ca9901e23be3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,4 @@ +uniqueCallEnclosingCallable +| gen_break_expr.rs:6:12:6:22 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_break_expr.rs:11:12:11:17 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_break_expr.rs:16:12:16:17 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..cc44ad8bfe2c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,5 @@ +uniqueCallEnclosingCallable +| gen_call_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_call_expr.rs:6:5:6:23 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_call_expr.rs:7:5:7:14 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_call_expr.rs:8:5:8:10 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..cdf204265b0b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_closure_binder.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..43e5f60d4cbd --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,14 @@ +uniqueEnclosingCallable +| gen_closure_expr.rs:5:6:5:6 | Param | Node should have one enclosing callable but has 0. | +| gen_closure_expr.rs:6:11:6:16 | Param | Node should have one enclosing callable but has 0. | +| gen_closure_expr.rs:7:12:7:17 | Param | Node should have one enclosing callable but has 0. | +| gen_closure_expr.rs:7:20:7:20 | Param | Node should have one enclosing callable but has 0. | +| gen_closure_expr.rs:9:6:9:6 | Param | Node should have one enclosing callable but has 0. | +| gen_closure_expr.rs:11:14:11:14 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| gen_closure_expr.rs:5:6:5:6 | Param | Node should have one type but has 0. | +| gen_closure_expr.rs:6:11:6:16 | Param | Node should have one type but has 0. | +| gen_closure_expr.rs:7:12:7:17 | Param | Node should have one type but has 0. | +| gen_closure_expr.rs:7:20:7:20 | Param | Node should have one type but has 0. | +| gen_closure_expr.rs:9:6:9:6 | Param | Node should have one type but has 0. | +| gen_closure_expr.rs:11:14:11:14 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ad3d84671e27 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| comments.rs:6:3:6:14 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..e7c6d013cc89 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_const.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..5414d21feb81 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_const_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..d83fd9a9dacb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_const_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ecb8d4c5fa5d --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,3 @@ +uniqueCallEnclosingCallable +| gen_continue_expr.rs:6:12:6:22 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_continue_expr.rs:11:12:11:22 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..b0e1d1875967 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_dyn_trait_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..de0bfff0ae0a --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_enum.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..a61eb890bd25 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,3 @@ +uniqueCallEnclosingCallable +| gen_expr_stmt.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_expr_stmt.rs:6:5:6:12 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ad05e1ef4e59 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_extern_block.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..19bd5ac0769f --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_extern_crate.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..091bd770cf2f --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_extern_item_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..390e252ac7b0 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_fn_ptr_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..1d3d1611ab81 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_for_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..f16b7b31d413 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_for_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..aa6acbf45e6e --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_format_args_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..f9d07d24dd54 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_format_args_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..c8ff66cfc269 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,4 @@ +uniqueEnclosingCallable +| gen_function.rs:4:8:4:13 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| gen_function.rs:4:8:4:13 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..81b8dfb753ce --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_generic_param_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..22972bbf2a30 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_if_expr.rs:6:18:6:36 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..227d27e07aa0 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_impl.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..58e934db3e51 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_impl_trait_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bb28a783fa6a --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_infer_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ba4bc7580949 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_item_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..98a7ff008375 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_label.rs:6:18:6:39 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..d85ad083cd22 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_let_else.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..b34704056ca2 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,6 @@ +uniqueEnclosingCallable +| gen_let_expr.rs:3:18:3:43 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| gen_let_expr.rs:6:18:6:24 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| gen_let_expr.rs:3:18:3:43 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..1dee4888d253 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_let_stmt.rs:10:19:10:38 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..9ba1d1a73aac --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_lifetime.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..09406b8a0cac --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_lifetime_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..957a2421efd3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_lifetime_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4ee3c3ba6918 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,3 @@ +uniqueCallEnclosingCallable +| gen_loop_expr.rs:6:18:6:40 | CallExpr | Call should have one enclosing callable but has 0. | +| gen_loop_expr.rs:9:18:9:39 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bdd983974ad0 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_call.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ee243f52959d --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_def.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..c7ad670935a3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..b8dc2491cb55 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,10 @@ +uniqueEnclosingCallable +| common_definitions.rs:3:15:3:25 | Param | Node should have one enclosing callable but has 0. | +| file://:0:0:0:0 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| common_definitions.rs:3:15:3:25 | Param | Node should have one type but has 0. | +| file://:0:0:0:0 | Param | Node should have one type but has 0. | +uniqueNodeLocation +| file://:0:0:0:0 | Param | Node should have one location but has 0. | +missingLocation +| Nodes without location: 1 | diff --git a/rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..17ad89567211 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..02d3818cdce8 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_rules.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..06cdb2501511 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_stmts.rs:5:14:5:28 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..648d9c7b5e9b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_macro_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..c3785fcc7a4f --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,4 @@ +uniqueEnclosingCallable +| gen_match_arm.rs:3:19:3:24 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| gen_match_arm.rs:3:19:3:24 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..26b43ec4f7df --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_match_arm_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..5bcb07018446 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,4 @@ +uniqueEnclosingCallable +| gen_match_expr.rs:3:20:3:25 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| gen_match_expr.rs:3:20:3:25 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..439b5fb9bc4b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_match_guard.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..42fa4d47b6ba --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_meta.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..2b99cf5f0cef --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_name.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..096f35c3be6c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_name_ref.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bbc5916ad4bb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_never_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..407eed9d21d3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..0cc0694a7c32 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_param_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ea7c55275ff3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_paren_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..289b92becb32 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_paren_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..8906108a4b86 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_paren_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ffc2113f2c32 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_path_segment.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4177421433d2 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_path_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..479844cd49dc --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_ptr_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4257c505c3d5 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_record_expr_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..f270d7b40e56 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_record_field.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4af964c2d1cb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_record_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bd7f24d8db97 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_record_pat_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..88e03f6a0ddd --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_ref_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..0f90df1fb520 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_rename.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..e022948872f3 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_rest_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..4257c03e77ef --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_ret_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..36698d05127d --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_return_type_syntax.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..04c83cac5cac --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_self_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..11057278dc18 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_slice_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..7e38d04aa142 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_source_file.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..8d77fc54d183 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_static.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ffde32eaca7c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_stmt_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bb1b7bb74556 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_struct.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..0e08b9468443 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_token_tree.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..167b3481ee5e --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,4 @@ +uniqueEnclosingCallable +| gen_trait.rs:7:32:7:60 | Param | Node should have one enclosing callable but has 0. | +uniqueType +| gen_trait.rs:7:32:7:60 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..7c9cad6e558f --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_trait_alias.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..5caa9b9cd62c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_try_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..973ff3f49127 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_tuple_field.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..da1c2914f3c9 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_tuple_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..8a46b04b94a4 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_tuple_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ca5cba3ef706 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_type_alias.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ae0c6897dc8a --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_type_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..bef99bf5eeb1 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_type_bound.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..e755f94b1336 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_type_bound_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..01475a67a1bc --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_type_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..da831a05a081 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_union.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..87bf4d398562 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_use.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..11abacff6a1d --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_use_tree.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..d71404dcd007 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_use_tree_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..1a8eb7a79982 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_variant.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..91db48d1f7f0 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_variant_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..a5177a30c8a9 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_visibility.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..9e96d82eac44 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_where_clause.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..8bc406e404ec --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_where_pred.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..ead953dbf8ed --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,2 @@ +uniqueCallEnclosingCallable +| gen_while_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..31b84f914623 --- /dev/null +++ b/rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,114 @@ +uniqueEnclosingCallable +| test.rs:18:32:18:37 | Param | Node should have one enclosing callable but has 0. | +| test.rs:36:31:36:37 | Param | Node should have one enclosing callable but has 0. | +| test.rs:50:34:50:40 | Param | Node should have one enclosing callable but has 0. | +| test.rs:64:34:64:40 | Param | Node should have one enclosing callable but has 0. | +| test.rs:78:19:78:24 | Param | Node should have one enclosing callable but has 0. | +| test.rs:98:17:98:22 | Param | Node should have one enclosing callable but has 0. | +| test.rs:114:25:114:30 | Param | Node should have one enclosing callable but has 0. | +| test.rs:115:20:115:20 | Param | Node should have one enclosing callable but has 0. | +| test.rs:121:21:121:26 | Param | Node should have one enclosing callable but has 0. | +| test.rs:129:25:129:38 | Param | Node should have one enclosing callable but has 0. | +| test.rs:137:20:137:33 | Param | Node should have one enclosing callable but has 0. | +| test.rs:144:23:144:28 | Param | Node should have one enclosing callable but has 0. | +| test.rs:152:29:152:34 | Param | Node should have one enclosing callable but has 0. | +| test.rs:163:29:163:34 | Param | Node should have one enclosing callable but has 0. | +| test.rs:174:27:174:32 | Param | Node should have one enclosing callable but has 0. | +| test.rs:183:22:183:27 | Param | Node should have one enclosing callable but has 0. | +| test.rs:196:22:196:27 | Param | Node should have one enclosing callable but has 0. | +| test.rs:209:28:209:33 | Param | Node should have one enclosing callable but has 0. | +| test.rs:222:26:222:32 | Param | Node should have one enclosing callable but has 0. | +| test.rs:222:35:222:41 | Param | Node should have one enclosing callable but has 0. | +| test.rs:222:44:222:50 | Param | Node should have one enclosing callable but has 0. | +| test.rs:227:25:227:31 | Param | Node should have one enclosing callable but has 0. | +| test.rs:227:34:227:40 | Param | Node should have one enclosing callable but has 0. | +| test.rs:227:43:227:49 | Param | Node should have one enclosing callable but has 0. | +| test.rs:232:27:232:33 | Param | Node should have one enclosing callable but has 0. | +| test.rs:232:36:232:41 | Param | Node should have one enclosing callable but has 0. | +| test.rs:232:44:232:50 | Param | Node should have one enclosing callable but has 0. | +| test.rs:237:26:237:32 | Param | Node should have one enclosing callable but has 0. | +| test.rs:242:29:242:35 | Param | Node should have one enclosing callable but has 0. | +| test.rs:242:38:242:43 | Param | Node should have one enclosing callable but has 0. | +| test.rs:242:46:242:52 | Param | Node should have one enclosing callable but has 0. | +| test.rs:250:28:250:34 | Param | Node should have one enclosing callable but has 0. | +| test.rs:250:37:250:42 | Param | Node should have one enclosing callable but has 0. | +| test.rs:250:45:250:51 | Param | Node should have one enclosing callable but has 0. | +| test.rs:258:29:258:35 | Param | Node should have one enclosing callable but has 0. | +| test.rs:269:38:269:44 | Param | Node should have one enclosing callable but has 0. | +| test.rs:273:38:273:52 | Param | Node should have one enclosing callable but has 0. | +| test.rs:283:19:283:42 | Param | Node should have one enclosing callable but has 0. | +| test.rs:291:44:291:67 | Param | Node should have one enclosing callable but has 0. | +| test.rs:302:23:302:32 | Param | Node should have one enclosing callable but has 0. | +| test.rs:302:35:302:48 | Param | Node should have one enclosing callable but has 0. | +| test.rs:309:35:309:58 | Param | Node should have one enclosing callable but has 0. | +| test.rs:319:23:319:36 | Param | Node should have one enclosing callable but has 0. | +| test.rs:324:29:324:42 | Param | Node should have one enclosing callable but has 0. | +| test.rs:335:28:335:35 | Param | Node should have one enclosing callable but has 0. | +| test.rs:342:29:342:40 | Param | Node should have one enclosing callable but has 0. | +| test.rs:401:15:401:25 | Param | Node should have one enclosing callable but has 0. | +| test.rs:408:16:408:19 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| test.rs:6:9:6:44 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:7:9:7:27 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:11:23:11:36 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:21:17:21:23 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:116:5:116:23 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:116:13:116:22 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:275:21:275:31 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:276:22:276:31 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:292:34:292:40 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:376:9:376:18 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:377:12:377:30 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:380:9:380:23 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:381:12:381:30 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:384:9:384:23 | CallExpr | Call should have one enclosing callable but has 0. | +| test.rs:404:5:404:18 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| test.rs:18:32:18:37 | Param | Node should have one type but has 0. | +| test.rs:36:31:36:37 | Param | Node should have one type but has 0. | +| test.rs:50:34:50:40 | Param | Node should have one type but has 0. | +| test.rs:64:34:64:40 | Param | Node should have one type but has 0. | +| test.rs:78:19:78:24 | Param | Node should have one type but has 0. | +| test.rs:98:17:98:22 | Param | Node should have one type but has 0. | +| test.rs:114:25:114:30 | Param | Node should have one type but has 0. | +| test.rs:115:20:115:20 | Param | Node should have one type but has 0. | +| test.rs:121:21:121:26 | Param | Node should have one type but has 0. | +| test.rs:129:25:129:38 | Param | Node should have one type but has 0. | +| test.rs:137:20:137:33 | Param | Node should have one type but has 0. | +| test.rs:144:23:144:28 | Param | Node should have one type but has 0. | +| test.rs:152:29:152:34 | Param | Node should have one type but has 0. | +| test.rs:163:29:163:34 | Param | Node should have one type but has 0. | +| test.rs:174:27:174:32 | Param | Node should have one type but has 0. | +| test.rs:183:22:183:27 | Param | Node should have one type but has 0. | +| test.rs:196:22:196:27 | Param | Node should have one type but has 0. | +| test.rs:209:28:209:33 | Param | Node should have one type but has 0. | +| test.rs:222:26:222:32 | Param | Node should have one type but has 0. | +| test.rs:222:35:222:41 | Param | Node should have one type but has 0. | +| test.rs:222:44:222:50 | Param | Node should have one type but has 0. | +| test.rs:227:25:227:31 | Param | Node should have one type but has 0. | +| test.rs:227:34:227:40 | Param | Node should have one type but has 0. | +| test.rs:227:43:227:49 | Param | Node should have one type but has 0. | +| test.rs:232:27:232:33 | Param | Node should have one type but has 0. | +| test.rs:232:36:232:41 | Param | Node should have one type but has 0. | +| test.rs:232:44:232:50 | Param | Node should have one type but has 0. | +| test.rs:237:26:237:32 | Param | Node should have one type but has 0. | +| test.rs:242:29:242:35 | Param | Node should have one type but has 0. | +| test.rs:242:38:242:43 | Param | Node should have one type but has 0. | +| test.rs:242:46:242:52 | Param | Node should have one type but has 0. | +| test.rs:250:28:250:34 | Param | Node should have one type but has 0. | +| test.rs:250:37:250:42 | Param | Node should have one type but has 0. | +| test.rs:250:45:250:51 | Param | Node should have one type but has 0. | +| test.rs:258:29:258:35 | Param | Node should have one type but has 0. | +| test.rs:269:38:269:44 | Param | Node should have one type but has 0. | +| test.rs:273:38:273:52 | Param | Node should have one type but has 0. | +| test.rs:283:19:283:42 | Param | Node should have one type but has 0. | +| test.rs:291:44:291:67 | Param | Node should have one type but has 0. | +| test.rs:302:23:302:32 | Param | Node should have one type but has 0. | +| test.rs:302:35:302:48 | Param | Node should have one type but has 0. | +| test.rs:309:35:309:58 | Param | Node should have one type but has 0. | +| test.rs:319:23:319:36 | Param | Node should have one type but has 0. | +| test.rs:324:29:324:42 | Param | Node should have one type but has 0. | +| test.rs:335:28:335:35 | Param | Node should have one type but has 0. | +| test.rs:342:29:342:40 | Param | Node should have one type but has 0. | +| test.rs:401:15:401:25 | Param | Node should have one type but has 0. | +| test.rs:408:16:408:19 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..da2bb14dcc45 --- /dev/null +++ b/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,15 @@ +uniqueEnclosingCallable +| main.rs:5:9:5:15 | Param | Node should have one enclosing callable but has 0. | +| main.rs:9:13:9:19 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| main.rs:6:14:6:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:17:13:17:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:18:5:18:11 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:22:13:22:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:23:13:23:23 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:24:5:24:11 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:28:13:28:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:29:5:29:11 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| main.rs:5:9:5:15 | Param | Node should have one type but has 0. | +| main.rs:9:13:9:19 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..eb84eb428c45 --- /dev/null +++ b/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,3 @@ +uniqueCallEnclosingCallable +| main.rs:3:14:3:33 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:7:5:7:14 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/library-tests/definitions/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/definitions/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..54311ff822f6 --- /dev/null +++ b/rust/ql/test/library-tests/definitions/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,9 @@ +uniqueCallEnclosingCallable +| main.rs:5:14:5:61 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:6:14:6:56 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:7:14:7:40 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:9:14:9:30 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:10:14:10:34 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:11:5:11:60 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:11:24:11:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:11:24:11:42 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/library-tests/formatstrings/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/formatstrings/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..5115c7118faa --- /dev/null +++ b/rust/ql/test/library-tests/formatstrings/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,69 @@ +uniqueCallEnclosingCallable +| main.rs:5:14:5:61 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:6:14:6:56 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:7:14:7:40 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:10:14:10:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:11:14:11:34 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:12:14:12:34 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:13:14:13:27 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:14:14:14:33 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:16:14:16:30 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:17:14:17:26 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:18:14:18:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:19:14:19:32 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:21:14:21:34 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:22:14:22:31 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:23:14:23:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:24:14:24:36 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:25:14:25:47 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:27:14:27:36 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:28:5:28:60 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:28:24:28:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:28:24:28:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:29:5:29:61 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:29:24:29:43 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:29:24:29:43 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:30:5:30:60 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:30:24:30:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:30:24:30:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:31:5:31:60 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:31:24:31:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:31:24:31:42 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:32:14:32:57 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:32:39:32:56 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:32:39:32:56 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:32:47:32:56 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:33:5:33:54 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:33:24:33:39 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:33:24:33:39 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:34:5:34:46 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:34:24:34:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:34:24:34:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:35:5:35:58 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:35:24:35:40 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:35:24:35:40 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:36:5:36:59 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:36:24:36:41 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:36:24:36:41 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:37:5:37:55 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:37:24:37:38 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:37:24:37:38 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:39:14:39:45 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:41:14:41:49 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:43:14:43:49 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:45:14:45:46 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:47:14:47:48 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:48:14:48:47 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:49:14:49:72 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:52:9:55:22 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:58:9:61:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:64:9:67:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:70:12:70:31 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:71:12:71:31 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:73:14:73:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:75:5:75:49 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:75:24:75:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:75:24:75:35 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:76:5:76:46 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:76:24:76:33 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:76:24:76:33 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..7e5ac7d81bc3 --- /dev/null +++ b/rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,175 @@ +uniqueEnclosingCallable +| variables.rs:3:14:3:20 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:7:14:7:19 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:11:18:11:24 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:261:5:261:12 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:262:5:265:19 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:272:5:272:50 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:316:10:316:15 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:324:10:324:15 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:356:17:356:28 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:363:22:363:36 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:363:39:363:57 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:435:8:435:15 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:451:13:451:21 | Param | Node should have one enclosing callable but has 0. | +| variables.rs:451:24:451:32 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| variables.rs:4:14:4:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:8:14:8:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:12:5:12:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:17:5:17:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:22:5:22:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:24:5:24:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:29:5:29:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:31:5:31:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:36:5:36:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:39:5:39:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:44:5:44:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:47:9:47:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:49:5:49:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:68:5:68:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:69:5:69:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:70:5:70:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:71:5:71:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:80:5:80:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:81:5:81:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:85:14:85:41 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:85:19:85:40 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:89:9:89:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:94:34:94:43 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:96:13:96:19 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:98:5:98:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:102:14:102:41 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:102:19:102:40 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:106:9:106:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:111:14:111:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:115:21:115:39 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:119:13:119:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:121:17:121:33 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:124:5:124:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:136:13:136:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:137:13:137:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:138:13:138:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:148:13:148:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:149:13:149:27 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:160:14:160:26 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:174:14:174:35 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:176:22:176:51 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:179:13:179:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:189:18:189:33 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:192:16:192:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:203:14:203:36 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:206:16:206:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:210:16:210:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:214:16:214:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:219:18:219:33 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:223:16:223:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:229:18:229:33 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:235:13:235:26 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:238:17:238:31 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:253:14:253:35 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:256:16:256:29 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:266:5:266:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:267:5:267:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:268:5:268:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:274:5:274:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:283:5:283:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:284:5:284:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:285:5:285:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:296:5:296:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:297:5:297:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:298:5:298:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:305:13:305:26 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:306:13:306:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:310:5:310:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:311:5:311:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:319:9:319:26 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:320:5:320:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:322:5:322:24 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:327:9:327:29 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:328:5:328:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:336:9:336:23 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:343:5:343:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:345:5:345:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:353:5:353:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:374:9:374:28 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:377:5:377:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:382:5:385:5 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:388:5:388:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:396:5:396:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:403:9:403:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:405:5:405:9 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:406:5:406:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:413:9:413:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:415:5:415:14 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:416:5:416:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:423:5:423:14 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:424:5:424:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:431:5:431:14 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:432:5:432:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:437:5:437:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:438:5:438:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:441:9:441:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:442:9:442:24 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:445:9:445:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:446:9:446:24 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:448:5:448:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:454:9:454:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:456:9:456:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:460:9:460:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:462:9:462:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:479:5:479:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:481:5:481:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:483:5:483:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:488:5:488:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:489:5:489:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:492:5:492:21 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:509:3:509:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:513:5:513:24 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:514:5:514:22 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:515:5:515:39 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:516:5:516:22 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:517:5:517:22 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:518:5:518:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:519:5:519:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:520:5:520:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:521:5:521:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:522:5:522:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:523:5:523:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:524:5:524:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:525:5:525:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:526:5:526:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:527:5:527:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:528:5:528:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:529:5:529:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:530:5:530:20 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:531:5:531:35 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:532:5:532:36 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:532:20:532:35 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:533:5:533:25 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:534:5:534:22 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:535:5:535:18 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:536:5:536:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:537:5:537:12 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:538:5:538:16 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:539:5:539:11 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:540:5:540:17 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:541:5:541:19 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:542:5:542:13 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:543:5:543:13 | CallExpr | Call should have one enclosing callable but has 0. | +| variables.rs:544:5:544:29 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| variables.rs:3:14:3:20 | Param | Node should have one type but has 0. | +| variables.rs:7:14:7:19 | Param | Node should have one type but has 0. | +| variables.rs:11:18:11:24 | Param | Node should have one type but has 0. | +| variables.rs:261:5:261:12 | Param | Node should have one type but has 0. | +| variables.rs:262:5:265:19 | Param | Node should have one type but has 0. | +| variables.rs:272:5:272:50 | Param | Node should have one type but has 0. | +| variables.rs:316:10:316:15 | Param | Node should have one type but has 0. | +| variables.rs:324:10:324:15 | Param | Node should have one type but has 0. | +| variables.rs:356:17:356:28 | Param | Node should have one type but has 0. | +| variables.rs:363:22:363:36 | Param | Node should have one type but has 0. | +| variables.rs:363:39:363:57 | Param | Node should have one type but has 0. | +| variables.rs:435:8:435:15 | Param | Node should have one type but has 0. | +| variables.rs:451:13:451:21 | Param | Node should have one type but has 0. | +| variables.rs:451:24:451:32 | Param | Node should have one type but has 0. | diff --git a/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..b367ef95ef54 --- /dev/null +++ b/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,8 @@ +uniqueCallEnclosingCallable +| comments.rs:55:5:55:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:13:14:13:28 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:15:5:15:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:16:5:16:23 | CallExpr | Call should have one enclosing callable but has 0. | +| my_macro.rs:16:9:16:18 | CallExpr | Call should have one enclosing callable but has 0. | +| my_struct.rs:17:18:17:32 | CallExpr | Call should have one enclosing callable but has 0. | +| my_struct.rs:25:19:25:37 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected new file mode 100644 index 000000000000..300f3fc863aa --- /dev/null +++ b/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected @@ -0,0 +1,240 @@ +uniqueEnclosingCallable +| main.rs:140:5:140:10 | Param | Node should have one enclosing callable but has 0. | +| main.rs:141:5:141:10 | Param | Node should have one enclosing callable but has 0. | +| main.rs:142:5:142:11 | Param | Node should have one enclosing callable but has 0. | +| main.rs:149:7:149:12 | Param | Node should have one enclosing callable but has 0. | +| main.rs:382:19:382:21 | Param | Node should have one enclosing callable but has 0. | +| main.rs:384:14:384:19 | Param | Node should have one enclosing callable but has 0. | +| main.rs:411:21:411:28 | Param | Node should have one enclosing callable but has 0. | +| main.rs:411:31:411:38 | Param | Node should have one enclosing callable but has 0. | +| main.rs:414:21:414:23 | Param | Node should have one enclosing callable but has 0. | +| main.rs:414:26:414:28 | Param | Node should have one enclosing callable but has 0. | +| main.rs:417:21:417:23 | Param | Node should have one enclosing callable but has 0. | +| main.rs:417:26:417:28 | Param | Node should have one enclosing callable but has 0. | +| main.rs:420:21:420:23 | Param | Node should have one enclosing callable but has 0. | +| main.rs:420:26:420:28 | Param | Node should have one enclosing callable but has 0. | +| main.rs:424:21:424:23 | Param | Node should have one enclosing callable but has 0. | +| main.rs:424:26:424:28 | Param | Node should have one enclosing callable but has 0. | +| main.rs:430:29:430:38 | Param | Node should have one enclosing callable but has 0. | +| main.rs:430:41:430:56 | Param | Node should have one enclosing callable but has 0. | +| main.rs:440:9:440:18 | Param | Node should have one enclosing callable but has 0. | +| main.rs:441:9:441:24 | Param | Node should have one enclosing callable but has 0. | +| more.rs:4:23:4:28 | Param | Node should have one enclosing callable but has 0. | +| more.rs:8:19:8:24 | Param | Node should have one enclosing callable but has 0. | +| more.rs:16:23:16:28 | Param | Node should have one enclosing callable but has 0. | +| more.rs:24:9:24:14 | Param | Node should have one enclosing callable but has 0. | +| unreachable.rs:10:34:10:34 | Param | Node should have one enclosing callable but has 0. | +uniqueCallEnclosingCallable +| main.rs:11:13:11:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:12:13:12:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:16:14:16:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:18:8:18:13 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:19:18:19:28 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:22:14:22:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:23:5:23:19 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:23:5:23:19 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:41:14:41:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:45:8:45:13 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:50:14:50:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:53:8:53:13 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:58:14:58:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:62:14:62:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:67:12:67:17 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:68:12:68:17 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:69:12:69:17 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:70:14:70:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:96:14:96:45 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:99:14:99:38 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:101:14:101:38 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:114:14:114:32 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:117:18:117:33 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:174:18:174:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:178:18:178:31 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:182:18:182:37 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:187:22:187:33 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:192:18:192:27 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:196:21:196:30 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:196:21:196:30 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:200:18:200:38 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:204:9:204:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:204:9:204:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:208:9:208:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:213:9:213:32 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:213:20:213:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:213:27:213:31 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:240:22:240:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:243:22:243:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:247:20:247:27 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:254:21:254:28 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:260:13:260:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:267:13:267:20 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:275:13:275:28 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:282:13:282:30 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:289:31:289:37 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:337:21:337:51 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:338:5:338:39 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:340:58:340:92 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:340:61:340:91 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:343:22:343:59 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:346:22:346:29 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:396:13:396:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:400:13:400:22 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:460:9:464:10 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:471:5:471:14 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:472:5:472:14 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:473:5:473:13 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:474:5:474:12 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:475:5:475:13 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:476:14:476:54 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:476:36:476:54 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:477:5:477:11 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:478:5:478:21 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:479:5:479:15 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:480:5:480:15 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:481:5:481:24 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:483:5:483:22 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:485:5:485:23 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:487:5:487:23 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:488:5:488:23 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:489:5:489:23 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:490:5:490:22 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:491:5:491:22 | CallExpr | Call should have one enclosing callable but has 0. | +| main.rs:493:5:493:12 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:45:14:45:26 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:46:14:46:25 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:47:14:47:26 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:51:14:51:24 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:56:14:56:30 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:61:14:61:30 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:67:14:67:25 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:76:14:76:20 | CallExpr | Call should have one enclosing callable but has 0. | +| more.rs:82:14:82:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:2:5:2:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:6:5:6:24 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:10:5:10:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:19:9:19:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:21:9:21:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:25:9:25:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:27:9:27:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:30:13:30:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:33:13:33:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:37:8:37:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:39:9:39:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:42:8:42:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:43:9:43:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:46:9:46:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:48:5:48:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:50:8:50:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:51:17:51:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:54:13:54:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:56:17:56:30 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:58:13:58:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:62:8:62:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:67:5:67:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:71:8:71:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:72:9:72:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:73:16:73:25 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:74:9:74:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:77:8:77:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:78:9:78:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:79:9:79:24 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:80:9:80:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:83:8:83:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:84:9:84:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:85:9:85:15 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:86:9:86:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:89:8:89:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:90:9:90:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:91:9:91:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:92:9:92:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:95:8:95:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:98:17:98:29 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:100:9:100:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:102:20:102:25 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:102:29:102:41 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:104:9:104:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:108:9:108:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:111:8:111:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:112:9:112:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:115:9:115:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:117:9:117:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:120:8:120:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:121:9:121:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:124:9:124:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:126:9:126:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:131:11:131:24 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:136:13:136:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:139:5:139:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:141:11:141:24 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:149:5:149:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:154:9:154:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:156:9:156:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:159:8:159:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:160:15:160:20 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:161:13:161:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:165:13:165:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:169:13:169:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:171:9:171:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:175:12:175:17 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:177:13:177:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:179:9:179:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:183:12:183:17 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:185:13:185:26 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:188:5:188:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:189:5:189:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:190:5:190:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:198:22:198:41 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:199:9:199:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:202:9:202:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:205:5:205:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:207:16:207:29 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:209:9:209:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:212:9:212:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:215:5:215:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:219:19:219:38 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:220:9:220:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:224:5:224:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:226:13:226:32 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:228:9:228:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:232:5:232:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:236:8:236:13 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:237:9:237:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:240:9:240:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:243:5:243:18 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:247:9:247:14 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:248:9:248:22 | CallExpr | Call should have one enclosing callable but has 0. | +| unreachable.rs:252:5:252:18 | CallExpr | Call should have one enclosing callable but has 0. | +uniqueType +| main.rs:140:5:140:10 | Param | Node should have one type but has 0. | +| main.rs:141:5:141:10 | Param | Node should have one type but has 0. | +| main.rs:142:5:142:11 | Param | Node should have one type but has 0. | +| main.rs:149:7:149:12 | Param | Node should have one type but has 0. | +| main.rs:382:19:382:21 | Param | Node should have one type but has 0. | +| main.rs:384:14:384:19 | Param | Node should have one type but has 0. | +| main.rs:411:21:411:28 | Param | Node should have one type but has 0. | +| main.rs:411:31:411:38 | Param | Node should have one type but has 0. | +| main.rs:414:21:414:23 | Param | Node should have one type but has 0. | +| main.rs:414:26:414:28 | Param | Node should have one type but has 0. | +| main.rs:417:21:417:23 | Param | Node should have one type but has 0. | +| main.rs:417:26:417:28 | Param | Node should have one type but has 0. | +| main.rs:420:21:420:23 | Param | Node should have one type but has 0. | +| main.rs:420:26:420:28 | Param | Node should have one type but has 0. | +| main.rs:424:21:424:23 | Param | Node should have one type but has 0. | +| main.rs:424:26:424:28 | Param | Node should have one type but has 0. | +| main.rs:430:29:430:38 | Param | Node should have one type but has 0. | +| main.rs:430:41:430:56 | Param | Node should have one type but has 0. | +| main.rs:440:9:440:18 | Param | Node should have one type but has 0. | +| main.rs:441:9:441:24 | Param | Node should have one type but has 0. | +| more.rs:4:23:4:28 | Param | Node should have one type but has 0. | +| more.rs:8:19:8:24 | Param | Node should have one type but has 0. | +| more.rs:16:23:16:28 | Param | Node should have one type but has 0. | +| more.rs:24:9:24:14 | Param | Node should have one type but has 0. | +| unreachable.rs:10:34:10:34 | Param | Node should have one type but has 0. |