diff --git a/rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll b/rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll index 54973c582436..3614035a183e 100644 --- a/rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll +++ b/rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll @@ -14,6 +14,14 @@ class AstCfgNode extends CfgNode { AstCfgNode() { node = this.getAstNode() } } +/** A CFG node that corresponds to a parameter in the AST. */ +class ParamCfgNode extends AstCfgNode { + override Param node; + + /** Gets the underlying parameter. */ + Param getParam() { result = node } +} + /** A CFG node that corresponds to an expression in the AST. */ class ExprCfgNode extends AstCfgNode { override Expr node; diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll index 0af7d46cc1ed..1bc68b69a817 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll @@ -64,7 +64,9 @@ final class NormalCall extends DataFlowCall, TNormalCall { /** Gets the underlying call in the CFG, if any. */ override CallCfgNode asCall() { result = c } - override DataFlowCallable getEnclosingCallable() { none() } + override DataFlowCallable getEnclosingCallable() { + result = TCfgScope(c.getExpr().getEnclosingCallable()) + } override string toString() { result = c.toString() } @@ -150,18 +152,18 @@ module Node { * flow graph. */ final class ParameterNode extends Node, TParameterNode { - Param parameter; + ParamCfgNode parameter; ParameterNode() { this = TParameterNode(parameter) } - override CfgScope getCfgScope() { result = parameter.getEnclosingCallable() } + override CfgScope getCfgScope() { result = parameter.getParam().getEnclosingCallable() } override Location getLocation() { result = parameter.getLocation() } override string toString() { result = parameter.toString() } /** Gets the parameter in the AST that this node corresponds to. */ - Param getParameter() { result = parameter } + Param getParameter() { result = parameter.getParam() } } final class ArgumentNode = NaNode; @@ -198,7 +200,7 @@ module Node { abstract DataFlowCall getCall(); } - final private class ExprOutNode extends OutNode { + final private class ExprOutNode extends ExprNode, OutNode { ExprOutNode() { this.asExpr() instanceof CallExpr } /** Gets the underlying call CFG node that includes this out node. */ @@ -230,7 +232,7 @@ final class Node = Node::Node; module SsaFlow { private module Impl = SsaImpl::DataFlowIntegration; - private Node::ParameterNode toParameterNode(Param p) { result = TParameterNode(p) } + private Node::ParameterNode toParameterNode(Param p) { result.getParameter() = p } /** Converts a control flow node into an SSA control flow node. */ Impl::Node asNode(Node n) { @@ -482,7 +484,7 @@ private module Cached { cached newtype TNode = TExprNode(ExprCfgNode n) or - TParameterNode(Param p) or + TParameterNode(ParamCfgNode p) or TSsaNode(SsaImpl::DataFlowIntegration::SsaNode node) cached diff --git a/rust/ql/test/extractor-tests/canonical_path/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/canonical_path/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index cb98837884fb..000000000000 --- a/rust/ql/test/extractor-tests/canonical_path/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,3 +0,0 @@ -uniqueCallEnclosingCallable -| canonical_paths.rs:32:9:32:14 | CallExpr | Call should have one enclosing callable but has 0. | -| canonical_paths.rs:66:13:66:20 | CallExpr | Call should have one enclosing callable but has 0. | diff --git a/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 33a015c809cb..000000000000 --- a/rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 5c931a7dfd57..000000000000 --- a/rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 0b272615a03b..000000000000 --- a/rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 7e257e4f04e5..000000000000 --- a/rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index f3bae512ec4b..000000000000 --- a/rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 2efd6dd82ead..000000000000 --- a/rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 24116bd3f7b1..000000000000 --- a/rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -uniqueCallEnclosingCallable -| gen_become_expr.rs:8:17:8:36 | CallExpr | Call should have one enclosing callable 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 deleted file mode 100644 index ca9901e23be3..000000000000 --- a/rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,4 +0,0 @@ -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 deleted file mode 100644 index cc44ad8bfe2c..000000000000 --- a/rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,5 +0,0 @@ -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 deleted file mode 100644 index cdf204265b0b..000000000000 --- a/rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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/Comment/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index ad3d84671e27..000000000000 --- a/rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index e7c6d013cc89..000000000000 --- a/rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 5414d21feb81..000000000000 --- a/rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index d83fd9a9dacb..000000000000 --- a/rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 2564610ffd00..000000000000 --- a/rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -uniqueCallEnclosingCallable -| gen_continue_expr.rs:6:12:6: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 deleted file mode 100644 index b0e1d1875967..000000000000 --- a/rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index de0bfff0ae0a..000000000000 --- a/rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index a61eb890bd25..000000000000 --- a/rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,3 +0,0 @@ -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 deleted file mode 100644 index ad05e1ef4e59..000000000000 --- a/rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 19bd5ac0769f..000000000000 --- a/rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 091bd770cf2f..000000000000 --- a/rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 390e252ac7b0..000000000000 --- a/rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 1d3d1611ab81..000000000000 --- a/rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index f16b7b31d413..000000000000 --- a/rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index aa6acbf45e6e..000000000000 --- a/rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index f9d07d24dd54..000000000000 --- a/rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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/GenericParamList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 81b8dfb753ce..000000000000 --- a/rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 22972bbf2a30..000000000000 --- a/rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 227d27e07aa0..000000000000 --- a/rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 58e934db3e51..000000000000 --- a/rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index bb28a783fa6a..000000000000 --- a/rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ba4bc7580949..000000000000 --- a/rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 98a7ff008375..000000000000 --- a/rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index d85ad083cd22..000000000000 --- a/rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index d8a1b37b6162..000000000000 --- a/rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -uniqueCallEnclosingCallable -| gen_let_expr.rs:6:18:6:24 | CallExpr | Call should have one enclosing callable 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 deleted file mode 100644 index 1dee4888d253..000000000000 --- a/rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 9ba1d1a73aac..000000000000 --- a/rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 09406b8a0cac..000000000000 --- a/rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 957a2421efd3..000000000000 --- a/rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 4e396b881520..000000000000 --- a/rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -uniqueCallEnclosingCallable -| gen_loop_expr.rs:6:18:6:40 | 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 deleted file mode 100644 index bdd983974ad0..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ee243f52959d..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index c7ad670935a3..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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/MacroPat/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 17ad89567211..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 02d3818cdce8..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 06cdb2501511..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 648d9c7b5e9b..000000000000 --- a/rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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/MatchArmList/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 26b43ec4f7df..000000000000 --- a/rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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/MatchGuard/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 439b5fb9bc4b..000000000000 --- a/rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 42fa4d47b6ba..000000000000 --- a/rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 2b99cf5f0cef..000000000000 --- a/rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 096f35c3be6c..000000000000 --- a/rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index bbc5916ad4bb..000000000000 --- a/rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 407eed9d21d3..000000000000 --- a/rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 0cc0694a7c32..000000000000 --- a/rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ea7c55275ff3..000000000000 --- a/rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 289b92becb32..000000000000 --- a/rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 8906108a4b86..000000000000 --- a/rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ffc2113f2c32..000000000000 --- a/rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 4177421433d2..000000000000 --- a/rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 479844cd49dc..000000000000 --- a/rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 4257c505c3d5..000000000000 --- a/rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index f270d7b40e56..000000000000 --- a/rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 4af964c2d1cb..000000000000 --- a/rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index bd7f24d8db97..000000000000 --- a/rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 88e03f6a0ddd..000000000000 --- a/rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 0f90df1fb520..000000000000 --- a/rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index e022948872f3..000000000000 --- a/rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 4257c03e77ef..000000000000 --- a/rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 36698d05127d..000000000000 --- a/rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 04c83cac5cac..000000000000 --- a/rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 11057278dc18..000000000000 --- a/rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 7e38d04aa142..000000000000 --- a/rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 8d77fc54d183..000000000000 --- a/rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ffde32eaca7c..000000000000 --- a/rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index bb1b7bb74556..000000000000 --- a/rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 0e08b9468443..000000000000 --- a/rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 86433bae5031..000000000000 --- a/rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -uniqueEnclosingCallable -| gen_trait.rs:7:32:7:60 | Param | Node should have one enclosing callable 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 deleted file mode 100644 index 7c9cad6e558f..000000000000 --- a/rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 5caa9b9cd62c..000000000000 --- a/rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 973ff3f49127..000000000000 --- a/rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index da1c2914f3c9..000000000000 --- a/rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 8a46b04b94a4..000000000000 --- a/rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ca5cba3ef706..000000000000 --- a/rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ae0c6897dc8a..000000000000 --- a/rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index bef99bf5eeb1..000000000000 --- a/rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index e755f94b1336..000000000000 --- a/rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 01475a67a1bc..000000000000 --- a/rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index da831a05a081..000000000000 --- a/rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 87bf4d398562..000000000000 --- a/rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 11abacff6a1d..000000000000 --- a/rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index d71404dcd007..000000000000 --- a/rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 1a8eb7a79982..000000000000 --- a/rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 91db48d1f7f0..000000000000 --- a/rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index a5177a30c8a9..000000000000 --- a/rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 9e96d82eac44..000000000000 --- a/rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 8bc406e404ec..000000000000 --- a/rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index ead953dbf8ed..000000000000 --- a/rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index b294af889d0c..000000000000 --- a/rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,18 +0,0 @@ -uniqueEnclosingCallable -| 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. | diff --git a/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 5ab92ceb0a20..000000000000 --- a/rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,9 +0,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. | diff --git a/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index 13dc24ed037a..000000000000 --- a/rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,4 +0,0 @@ -uniqueCallEnclosingCallable -| main.rs:3:14:3:33 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:39:5:39:14 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:40:5:40:23 | 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 deleted file mode 100644 index 54311ff822f6..000000000000 --- a/rust/ql/test/library-tests/definitions/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,9 +0,0 @@ -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 deleted file mode 100644 index 5115c7118faa..000000000000 --- a/rust/ql/test/library-tests/formatstrings/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,69 +0,0 @@ -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 deleted file mode 100644 index bb4e17c24372..000000000000 --- a/rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,145 +0,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. | diff --git a/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index b367ef95ef54..000000000000 --- a/rust/ql/test/query-tests/diagnostics/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,8 +0,0 @@ -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/diagnostics/DataFlowConsistencyCounts.expected b/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected index abc5a99fbd13..4d1cdfed89af 100644 --- a/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected +++ b/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected @@ -1,7 +1,7 @@ | ArgumentNode is missing PostUpdateNode | 0 | | Call context for isUnreachableInCall is inconsistent with call graph | 0 | | Call context too large | 0 | -| Call should have one enclosing callable | 7 | +| Call should have one enclosing callable | 0 | | Callable mismatch for parameter | 0 | | Lambda call enclosing callable mismatch | 0 | | Local flow step does not preserve enclosing callable | 0 | diff --git a/rust/ql/test/query-tests/diagnostics/SummaryStats.expected b/rust/ql/test/query-tests/diagnostics/SummaryStats.expected index 37ec4eb1425f..c8e473840b0f 100644 --- a/rust/ql/test/query-tests/diagnostics/SummaryStats.expected +++ b/rust/ql/test/query-tests/diagnostics/SummaryStats.expected @@ -7,6 +7,6 @@ | Files extracted - without errors | 5 | | Inconsistencies - AST | 0 | | Inconsistencies - CFG | 0 | -| Inconsistencies - data flow | 7 | +| Inconsistencies - data flow | 0 | | Lines of code extracted | 59 | | Lines of user code extracted | 59 | diff --git a/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected b/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected deleted file mode 100644 index b59b965efa12..000000000000 --- a/rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected +++ /dev/null @@ -1,234 +0,0 @@ -uniqueEnclosingCallable -| main.rs:392:19:392:21 | Param | Node should have one enclosing callable but has 0. | -| main.rs:440:29:440:38 | Param | Node should have one enclosing callable but has 0. | -| main.rs:440:41:440:56 | Param | Node should have one enclosing callable but has 0. | -| main.rs:493:16:493:18 | Param | Node should have one enclosing callable but has 0. | -| main.rs:494:16:494:21 | Param | Node should have one enclosing callable but has 0. | -| main.rs:495:16:496:25 | Param | Node should have one enclosing callable but has 0. | -| main.rs:496:12:496:17 | Param | Node should have one enclosing callable but has 0. | -| main.rs:499:18:499:23 | Param | Node should have one enclosing callable but has 0. | -| main.rs:502:24:502:29 | 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. | -uniqueCallEnclosingCallable -| main.rs:13:13:13:29 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:14:13:14:29 | 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:20:8:20:13 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:21:18:21:28 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:24:14:24:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:25:5:25:19 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:25:5:25:19 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:43:14:43:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:47:8:47:13 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:52:14:52:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:55:8:55:13 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:60:14:60:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:64:14:64:24 | 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:12:70:17 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:71:12:71:17 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:72:14:72:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:98:14:98:45 | 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:103:14:103:38 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:116:14:116:32 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:119:18:119:33 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:176:18:176:29 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:180:18:180:31 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:184:18:184:37 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:189:22:189:33 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:194:18:194:27 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:198:21:198:30 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:198:21:198:30 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:202:21:202:32 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:202:21:202:32 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:206:21:206:30 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:206:21:206:30 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:210:18:210:38 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:214:9:214:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:214:9:214:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:218:9:218:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:223:9:223:32 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:223:20:223:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:223:27:223:31 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:250:22:250:29 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:253:22:253:29 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:257:20:257:27 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:264:21:264:28 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:270:13:270:20 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:277:13:277:20 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:285:13:285:28 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:292:13:292:30 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:299:31:299:37 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:347:21:347:51 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:348:5:348:39 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:350:58:350:92 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:350:61:350:91 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:353:22:353:59 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:356:22:356:29 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:406:13:406:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:410:13:410:22 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:470:9:474:10 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:487:5:487:21 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:487:5:487:21 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:508:5:508:14 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:509:5:509:14 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:510:5:510:13 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:511:5:511:12 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:512:5:512:13 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:513:14:513:54 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:513:36:513:54 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:514:5:514:11 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:515:5:515:21 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:516:5:516:15 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:517:5:517:15 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:518:5:518:24 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:519:5:519:12 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:520:5:520:16 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:522:5:522:14 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:523:5:523:14 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:525:5:525:22 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:526:5:526:22 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:527:5:527:22 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:528:5:528:23 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:529:9:529:26 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:530:5:530:23 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:531:5:531:22 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:532:5:532:28 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:533:5:533:23 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:534:5:534:23 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:535:5:535:23 | CallExpr | Call should have one enclosing callable but has 0. | -| main.rs:536:5:536:28 | 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: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: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: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: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: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:75:9:75:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:78:5:78:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:82:9:82:14 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:83:9:83:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:87:5:87:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:91:8:91:13 | 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:93:16:93:25 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:94:9:94:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:97:8:97:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:98:9:98:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:99:9:99:24 | 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:103:8:103:13 | 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:105:9:105:15 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:106:9:106:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:109:8:109:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:110:9:110:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:111:9:111:22 | 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:115:8:115:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:118:17:118:29 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:120:9:120:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:122:20:122:25 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:122:29:122:41 | 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:128:9:128:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:131:8:131:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:132:9:132:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:134:13:134:20 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:135:9:135:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:137:9:137:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:140:8:140:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:141:9:141:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:143:13:143:20 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:144:9:144:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:146:9:146:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:163:8:163:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:164:9:164:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:165:16:165:43 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:165:20:165:42 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:169:8:169:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:170:9:170:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:175:8:175:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:176:9:176:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:179:5:179:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:181:5:181:9 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:185:8:185:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:186:15:186:28 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:191:17:191:30 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:194:9:194:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:197:8:197:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:198:15:198:28 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:209:8:209:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:210:19:210:32 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:214:9:214:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:217:8:217:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:218:13:221:10 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:218:24:218:37 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:222:9:222:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:227:8:227:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:229:13:229:26 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:235:8:235:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:236:15:236:20 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:237:13:237:26 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:245:13:245:26 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:250:8:250:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:252:16:252:21 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:256:13:256:26 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:260:8:260:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:262:16:262:21 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:272:8:272:13 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:278:13:278:15 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:281:9:281:31 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:282:9:282:31 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:283:9:283:33 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:284:9:284:33 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:285:9:285:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:294:13:294:32 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:296:9:296:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:301:13:301:32 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:318:22:318:41 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:319:9:319:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:322:9:322:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:325:5:325:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:327:16:327:29 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:329:9:329:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:339:19:339:38 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:340:9:340:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:344:5:344:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:346:13:346:32 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:352:5:352:18 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:360:9:360:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:362:9:362:22 | CallExpr | Call should have one enclosing callable but has 0. | -| unreachable.rs:368:9:368:22 | CallExpr | Call should have one enclosing callable but has 0. |