Merge pull request #17895 from paldepind/rust-data-flow-consistency-q…

…uery

Rust: Add data flow consistency queries

rust/ql/consistency-queries/DataFlowConsistency.ql

@@ -0,0 +1,9 @@
+import codeql.rust.dataflow.DataFlow::DataFlow as DataFlow
+private import rust
+private import codeql.rust.dataflow.internal.DataFlowImpl
+private import codeql.rust.dataflow.internal.TaintTrackingImpl
+private import codeql.dataflow.internal.DataFlowImplConsistency
+
+private module Input implements InputSig<Location, RustDataFlow> { }
+
+import MakeConsistency<Location, RustDataFlow, RustTaintTracking, Input>

rust/ql/test/extractor-tests/generated/Abi/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_abi.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ArgList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_arg_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ArrayType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_array_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/AssocTypeArg/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_assoc_type_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Attr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_attr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/AwaitExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_await_expr.rs:6:17:6:21 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/BecomeExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,8 @@
+uniqueEnclosingCallable
+| gen_become_expr.rs:4:11:4:16 | Param | Node should have one enclosing callable but has 0. |
+| gen_become_expr.rs:4:19:4:24 | Param | Node should have one enclosing callable but has 0. |
+uniqueCallEnclosingCallable
+| gen_become_expr.rs:8:17:8:36 | CallExpr | Call should have one enclosing callable but has 0. |
+uniqueType
+| gen_become_expr.rs:4:11:4:16 | Param | Node should have one type but has 0. |
+| gen_become_expr.rs:4:19:4:24 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/BreakExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,4 @@
+uniqueCallEnclosingCallable
+| gen_break_expr.rs:6:12:6:22 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_break_expr.rs:11:12:11:17 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_break_expr.rs:16:12:16:17 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/CallExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,5 @@
+uniqueCallEnclosingCallable
+| gen_call_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_call_expr.rs:6:5:6:23 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_call_expr.rs:7:5:7:14 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_call_expr.rs:8:5:8:10 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ClosureBinder/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_closure_binder.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ClosureExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,14 @@
+uniqueEnclosingCallable
+| gen_closure_expr.rs:5:6:5:6 | Param | Node should have one enclosing callable but has 0. |
+| gen_closure_expr.rs:6:11:6:16 | Param | Node should have one enclosing callable but has 0. |
+| gen_closure_expr.rs:7:12:7:17 | Param | Node should have one enclosing callable but has 0. |
+| gen_closure_expr.rs:7:20:7:20 | Param | Node should have one enclosing callable but has 0. |
+| gen_closure_expr.rs:9:6:9:6 | Param | Node should have one enclosing callable but has 0. |
+| gen_closure_expr.rs:11:14:11:14 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| gen_closure_expr.rs:5:6:5:6 | Param | Node should have one type but has 0. |
+| gen_closure_expr.rs:6:11:6:16 | Param | Node should have one type but has 0. |
+| gen_closure_expr.rs:7:12:7:17 | Param | Node should have one type but has 0. |
+| gen_closure_expr.rs:7:20:7:20 | Param | Node should have one type but has 0. |
+| gen_closure_expr.rs:9:6:9:6 | Param | Node should have one type but has 0. |
+| gen_closure_expr.rs:11:14:11:14 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/Comment/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| comments.rs:6:3:6:14 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Const/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_const.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ConstArg/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_const_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ConstParam/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_const_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ContinueExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,3 @@
+uniqueCallEnclosingCallable
+| gen_continue_expr.rs:6:12:6:22 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_continue_expr.rs:11:12:11:22 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/DynTraitType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_dyn_trait_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Enum/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_enum.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ExprStmt/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,3 @@
+uniqueCallEnclosingCallable
+| gen_expr_stmt.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_expr_stmt.rs:6:5:6:12 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ExternBlock/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_extern_block.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ExternCrate/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_extern_crate.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ExternItemList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_extern_item_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/FnPtrType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_fn_ptr_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ForExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_for_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ForType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_for_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/FormatArgsArg/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_format_args_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/FormatArgsExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_format_args_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Function/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,4 @@
+uniqueEnclosingCallable
+| gen_function.rs:4:8:4:13 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| gen_function.rs:4:8:4:13 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/GenericParamList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_generic_param_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/IfExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_if_expr.rs:6:18:6:36 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Impl/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_impl.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ImplTraitType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_impl_trait_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/InferType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_infer_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ItemList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_item_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Label/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_label.rs:6:18:6:39 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/LetElse/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_let_else.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/LetExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,6 @@
+uniqueEnclosingCallable
+| gen_let_expr.rs:3:18:3:43 | Param | Node should have one enclosing callable but has 0. |
+uniqueCallEnclosingCallable
+| gen_let_expr.rs:6:18:6:24 | CallExpr | Call should have one enclosing callable but has 0. |
+uniqueType
+| gen_let_expr.rs:3:18:3:43 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/LetStmt/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_let_stmt.rs:10:19:10:38 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Lifetime/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_lifetime.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/LifetimeArg/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_lifetime_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/LifetimeParam/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_lifetime_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/LoopExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,3 @@
+uniqueCallEnclosingCallable
+| gen_loop_expr.rs:6:18:6:40 | CallExpr | Call should have one enclosing callable but has 0. |
+| gen_loop_expr.rs:9:18:9:39 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroCall/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_call.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroDef/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_def.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroItems/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,10 @@
+uniqueEnclosingCallable
+| common_definitions.rs:3:15:3:25 | Param | Node should have one enclosing callable but has 0. |
+| file://:0:0:0:0 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| common_definitions.rs:3:15:3:25 | Param | Node should have one type but has 0. |
+| file://:0:0:0:0 | Param | Node should have one type but has 0. |
+uniqueNodeLocation
+| file://:0:0:0:0 | Param | Node should have one location but has 0. |
+missingLocation
+| Nodes without location: 1 |

rust/ql/test/extractor-tests/generated/MacroPat/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroRules/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_rules.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroStmts/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_stmts.rs:5:14:5:28 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MacroType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_macro_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MatchArm/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,4 @@
+uniqueEnclosingCallable
+| gen_match_arm.rs:3:19:3:24 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| gen_match_arm.rs:3:19:3:24 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/MatchArmList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_match_arm_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/MatchExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,4 @@
+uniqueEnclosingCallable
+| gen_match_expr.rs:3:20:3:25 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| gen_match_expr.rs:3:20:3:25 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/MatchGuard/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_match_guard.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Meta/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_meta.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Name/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_name.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/NameRef/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_name_ref.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/NeverType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_never_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Param/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ParamList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_param_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ParenExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_paren_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ParenPat/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_paren_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ParenType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_paren_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/PathSegment/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_path_segment.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/PathType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_path_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/PtrType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_ptr_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RecordExprFieldList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_record_expr_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RecordField/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_record_field.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RecordFieldList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_record_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RecordPatFieldList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_record_pat_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RefType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_ref_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Rename/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_rename.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RestPat/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_rest_pat.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/RetType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_ret_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/ReturnTypeSyntax/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_return_type_syntax.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/SelfParam/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_self_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/SliceType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_slice_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/SourceFile/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_source_file.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Static/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_static.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/StmtList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_stmt_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Struct/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_struct.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TokenTree/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_token_tree.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Trait/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,4 @@
+uniqueEnclosingCallable
+| gen_trait.rs:7:32:7:60 | Param | Node should have one enclosing callable but has 0. |
+uniqueType
+| gen_trait.rs:7:32:7:60 | Param | Node should have one type but has 0. |

rust/ql/test/extractor-tests/generated/TraitAlias/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_trait_alias.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TryExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_try_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TupleField/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_tuple_field.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TupleFieldList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_tuple_field_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TupleType/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_tuple_type.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TypeAlias/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_type_alias.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TypeArg/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_type_arg.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TypeBound/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_type_bound.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TypeBoundList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_type_bound_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/TypeParam/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_type_param.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Union/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_union.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Use/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_use.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/UseTree/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_use_tree.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/UseTreeList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_use_tree_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Variant/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_variant.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/VariantList/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_variant_list.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/Visibility/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_visibility.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/WhereClause/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_where_clause.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/WherePred/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_where_pred.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |

rust/ql/test/extractor-tests/generated/WhileExpr/CONSISTENCY/DataFlowConsistency.expected

@@ -0,0 +1,2 @@
+uniqueCallEnclosingCallable
+| gen_while_expr.rs:5:5:5:11 | CallExpr | Call should have one enclosing callable but has 0. |