hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: accept test changes

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-11-20 16:49:20 +01:00
parent b4af5a61d1
commit fd45e11f4b
70 changed files with 955 additions and 504 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected
View File

@@ -1,3 +1,3 @@
| gen_block_expr.rs:3:28:12:1 | { ... } | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes |
| gen_block_expr.rs:5:5:7:5 | { ... } | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes |
| gen_block_expr.rs:8:5:11:5 | { ... } | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | yes | hasStmtList: | yes |
| gen_block_expr.rs:3:28:12:1 | { ... } | hasLabel: | no | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasStmtList: | yes |
| gen_block_expr.rs:5:5:7:5 | { ... } | hasLabel: | no | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasStmtList: | yes |
| gen_block_expr.rs:8:5:11:5 | ''label: { ... } | hasLabel: | yes | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasStmtList: | yes |

2
rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getLabel.expected
View File

@@ -1 +1 @@
| gen_block_expr.rs:8:5:11:5 | { ... } | gen_block_expr.rs:8:5:8:11 | ''label |
| gen_block_expr.rs:8:5:11:5 | ''label: { ... } | gen_block_expr.rs:8:5:8:11 | ''label |

2
rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getStmtList.expected
View File

@@ -1,3 +1,3 @@
| gen_block_expr.rs:3:28:12:1 | { ... } | gen_block_expr.rs:3:28:12:1 | StmtList |
| gen_block_expr.rs:5:5:7:5 | { ... } | gen_block_expr.rs:5:5:7:5 | StmtList |
| gen_block_expr.rs:8:5:11:5 | { ... } | gen_block_expr.rs:8:13:11:5 | StmtList |
| gen_block_expr.rs:8:5:11:5 | ''label: { ... } | gen_block_expr.rs:8:13:11:5 | StmtList |

2
rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected
View File

@@ -1,2 +1,2 @@
| gen_box_pat.rs:6:9:6:27 | box ... | hasPat: | yes |
| gen_box_pat.rs:7:9:7:24 | box ... | hasPat: | yes |
| gen_box_pat.rs:7:9:7:24 | box Option::None | hasPat: | yes |

2
rust/ql/test/extractor-tests/generated/BoxPat/BoxPat_getPat.expected
View File

@@ -1,2 +1,2 @@
| gen_box_pat.rs:6:9:6:27 | box ... | gen_box_pat.rs:6:13:6:27 | TupleStructPat |
| gen_box_pat.rs:7:9:7:24 | box ... | gen_box_pat.rs:7:13:7:24 | Option::None |
| gen_box_pat.rs:7:9:7:24 | box Option::None | gen_box_pat.rs:7:13:7:24 | Option::None |

4
rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected
View File

@@ -1,3 +1,3 @@
| gen_break_expr.rs:7:13:7:17 | break | getNumberOfAttrs: | 0 | hasExpr: | no | hasLifetime: | no |
| gen_break_expr.rs:12:13:12:27 | break ''label ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes |
| gen_break_expr.rs:17:13:17:27 | break ''label ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes |
| gen_break_expr.rs:12:13:12:27 | break ''label 42 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes |
| gen_break_expr.rs:17:13:17:27 | break ''label 42 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes |

4
rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_break_expr.rs:12:13:12:27 | break ''label ... | gen_break_expr.rs:12:26:12:27 | 42 |
| gen_break_expr.rs:17:13:17:27 | break ''label ... | gen_break_expr.rs:17:26:17:27 | 42 |
| gen_break_expr.rs:12:13:12:27 | break ''label 42 | gen_break_expr.rs:12:26:12:27 | 42 |
| gen_break_expr.rs:17:13:17:27 | break ''label 42 | gen_break_expr.rs:17:26:17:27 | 42 |

4
rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getLifetime.expected
View File

@@ -1,2 +1,2 @@
| gen_break_expr.rs:12:13:12:27 | break ''label ... | gen_break_expr.rs:12:19:12:24 | ''label |
| gen_break_expr.rs:17:13:17:27 | break ''label ... | gen_break_expr.rs:17:19:17:24 | ''label |
| gen_break_expr.rs:12:13:12:27 | break ''label 42 | gen_break_expr.rs:12:19:12:24 | ''label |
| gen_break_expr.rs:17:13:17:27 | break ''label 42 | gen_break_expr.rs:17:19:17:24 | ''label |

2
rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getExpr.expected
View File

@@ -1,4 +1,4 @@
| gen_call_expr.rs:5:5:5:11 | foo(...) | gen_call_expr.rs:5:5:5:7 | foo |
| gen_call_expr.rs:6:5:6:23 | foo::<...>(...) | gen_call_expr.rs:6:5:6:19 | foo::<...> |
| gen_call_expr.rs:7:5:7:14 | ...(...) | gen_call_expr.rs:7:5:7:10 | ...[...] |
| gen_call_expr.rs:7:5:7:14 | ...(...) | gen_call_expr.rs:7:5:7:10 | foo[0] |
| gen_call_expr.rs:8:5:8:10 | foo(...) | gen_call_expr.rs:8:5:8:7 | foo |

2
rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected
View File

@@ -1 +1 @@
| gen_cast_expr.rs:5:5:5:16 | ... as u64 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasTy: | yes |
| gen_cast_expr.rs:5:5:5:16 | value as u64 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasTy: | yes |

2
rust/ql/test/extractor-tests/generated/CastExpr/CastExpr_getExpr.expected
View File

@@ -1 +1 @@
| gen_cast_expr.rs:5:5:5:16 | ... as u64 | gen_cast_expr.rs:5:5:5:9 | value |
| gen_cast_expr.rs:5:5:5:16 | value as u64 | gen_cast_expr.rs:5:5:5:9 | value |

2
rust/ql/test/extractor-tests/generated/CastExpr/CastExpr_getTy.expected
View File

@@ -1 +1 @@
| gen_cast_expr.rs:5:5:5:16 | ... as u64 | gen_cast_expr.rs:5:14:5:16 | u64 |
| gen_cast_expr.rs:5:5:5:16 | value as u64 | gen_cast_expr.rs:5:14:5:16 | u64 |

14
rust/ql/test/extractor-tests/generated/Comment/Comment.expected
View File

@@ -1,7 +1,7 @@
| comments.rs:1:1:3:2 | Comment | getParent: | comments.rs:1:1:9:1 | foo | getText: | /** \n* A doc comment\n*/ |
| comments.rs:6:17:6:34 | Comment | getParent: | comments.rs:6:17:8:16 | nested | getText: | // print some text |
| comments.rs:7:3:7:31 | Comment | getParent: | comments.rs:6:17:8:16 | nested | getText: | /// This is a nested function |
| gen_comment.rs:1:1:1:36 | Comment | getParent: | gen_comment.rs:1:1:7:2 | SourceFile | getText: | // generated by codegen, do not edit |
| gen_comment.rs:4:5:4:30 | Comment | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | // A comment. For example: |
| gen_comment.rs:5:5:5:24 | Comment | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | // this is a comment |
| gen_comment.rs:6:5:6:29 | Comment | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | /// This is a doc comment |
| comments.rs:1:1:3:2 | /**...*/ | getParent: | comments.rs:1:1:9:1 | fn foo | getText: | /** \n* A doc comment\n*/ |
| comments.rs:6:17:6:34 | //... | getParent: | comments.rs:6:17:8:16 | fn nested | getText: | // print some text |
| comments.rs:7:3:7:31 | ///... | getParent: | comments.rs:6:17:8:16 | fn nested | getText: | /// This is a nested function |
| gen_comment.rs:1:1:1:36 | //... | getParent: | gen_comment.rs:1:1:7:2 | SourceFile | getText: | // generated by codegen, do not edit |
| gen_comment.rs:4:5:4:30 | //... | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | // A comment. For example: |
| gen_comment.rs:5:5:5:24 | //... | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | // this is a comment |
| gen_comment.rs:6:5:6:29 | ///... | getParent: | gen_comment.rs:3:25:7:1 | StmtList | getText: | /// This is a doc comment |

2
rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_continue_expr.rs:7:13:7:20 | continue | getNumberOfAttrs: | 0 | hasLifetime: | no |
| gen_continue_expr.rs:12:13:12:27 | continue 'label | getNumberOfAttrs: | 0 | hasLifetime: | yes |
| gen_continue_expr.rs:12:13:12:27 | continue ''label | getNumberOfAttrs: | 0 | hasLifetime: | yes |

2
rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getLifetime.expected
View File

@@ -1 +1 @@
| gen_continue_expr.rs:12:13:12:27 | continue 'label | gen_continue_expr.rs:12:22:12:27 | ''label |
| gen_continue_expr.rs:12:13:12:27 | continue ''label | gen_continue_expr.rs:12:22:12:27 | ''label |

2
rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected
View File

@@ -1 +1 @@
| gen_field_expr.rs:5:5:5:9 | ... .foo | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |
| gen_field_expr.rs:5:5:5:9 | x.foo | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |

2
rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr_getExpr.expected
View File

@@ -1 +1 @@
| gen_field_expr.rs:5:5:5:9 | ... .foo | gen_field_expr.rs:5:5:5:5 | x |
| gen_field_expr.rs:5:5:5:9 | x.foo | gen_field_expr.rs:5:5:5:5 | x |

2
rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr_getNameRef.expected
View File

@@ -1 +1 @@
| gen_field_expr.rs:5:5:5:9 | ... .foo | gen_field_expr.rs:5:7:5:9 | foo |
| gen_field_expr.rs:5:5:5:9 | x.foo | gen_field_expr.rs:5:7:5:9 | foo |

4
rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_if_expr.rs:5:5:7:5 | if ... { ... } | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | no | hasThen: | yes |
| gen_if_expr.rs:8:13:12:5 | if ... { ... } else { ... } | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | yes | hasThen: | yes |
| gen_if_expr.rs:5:5:7:5 | if ... {...} | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | no | hasThen: | yes |
| gen_if_expr.rs:8:13:12:5 | if ... {...} else {...} | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | yes | hasThen: | yes |

4
rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getCondition.expected
View File

@@ -1,2 +1,2 @@
| gen_if_expr.rs:5:5:7:5 | if ... { ... } | gen_if_expr.rs:5:8:5:14 | ... == ... |
| gen_if_expr.rs:8:13:12:5 | if ... { ... } else { ... } | gen_if_expr.rs:8:16:8:20 | ... > ... |
| gen_if_expr.rs:5:5:7:5 | if ... {...} | gen_if_expr.rs:5:8:5:14 | ... == ... |
| gen_if_expr.rs:8:13:12:5 | if ... {...} else {...} | gen_if_expr.rs:8:16:8:20 | ... > ... |

2
rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getElse.expected
View File

@@ -1 +1 @@
| gen_if_expr.rs:8:13:12:5 | if ... { ... } else { ... } | gen_if_expr.rs:10:12:12:5 | { ... } |
| gen_if_expr.rs:8:13:12:5 | if ... {...} else {...} | gen_if_expr.rs:10:12:12:5 | { ... } |

4
rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getThen.expected
View File

@@ -1,2 +1,2 @@
| gen_if_expr.rs:5:5:7:5 | if ... { ... } | gen_if_expr.rs:5:16:7:5 | { ... } |
| gen_if_expr.rs:8:13:12:5 | if ... { ... } else { ... } | gen_if_expr.rs:8:22:10:5 | { ... } |
| gen_if_expr.rs:5:5:7:5 | if ... {...} | gen_if_expr.rs:5:16:7:5 | { ... } |
| gen_if_expr.rs:8:13:12:5 | if ... {...} else {...} | gen_if_expr.rs:8:22:10:5 | { ... } |

4
rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_index_expr.rs:5:5:5:12 | ...[...] | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes |
| gen_index_expr.rs:6:5:6:12 | ...[...] | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes |
| gen_index_expr.rs:5:5:5:12 | list[42] | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes |
| gen_index_expr.rs:6:5:6:12 | list[42] | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes |

4
rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr_getBase.expected
View File

@@ -1,2 +1,2 @@
| gen_index_expr.rs:5:5:5:12 | ...[...] | gen_index_expr.rs:5:5:5:8 | list |
| gen_index_expr.rs:6:5:6:12 | ...[...] | gen_index_expr.rs:6:5:6:8 | list |
| gen_index_expr.rs:5:5:5:12 | list[42] | gen_index_expr.rs:5:5:5:8 | list |
| gen_index_expr.rs:6:5:6:12 | list[42] | gen_index_expr.rs:6:5:6:8 | list |

4
rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr_getIndex.expected
View File

@@ -1,2 +1,2 @@
| gen_index_expr.rs:5:5:5:12 | ...[...] | gen_index_expr.rs:5:10:5:11 | 42 |
| gen_index_expr.rs:6:5:6:12 | ...[...] | gen_index_expr.rs:6:10:6:11 | 42 |
| gen_index_expr.rs:5:5:5:12 | list[42] | gen_index_expr.rs:5:10:5:11 | 42 |
| gen_index_expr.rs:6:5:6:12 | list[42] | gen_index_expr.rs:6:10:6:11 | 42 |

2
rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected
View File

@@ -1 +1 @@
| gen_let_expr.rs:5:8:5:31 | let TupleStructPat = ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasPat: | yes |
| gen_let_expr.rs:5:8:5:31 | let ... = maybe_some | getNumberOfAttrs: | 0 | hasExpr: | yes | hasPat: | yes |

2
rust/ql/test/extractor-tests/generated/LetExpr/LetExpr_getExpr.expected
View File

@@ -1 +1 @@
| gen_let_expr.rs:5:8:5:31 | let TupleStructPat = ... | gen_let_expr.rs:5:22:5:31 | maybe_some |
| gen_let_expr.rs:5:8:5:31 | let ... = maybe_some | gen_let_expr.rs:5:22:5:31 | maybe_some |

2
rust/ql/test/extractor-tests/generated/LetExpr/LetExpr_getPat.expected
View File

@@ -1 +1 @@
| gen_let_expr.rs:5:8:5:31 | let TupleStructPat = ... | gen_let_expr.rs:5:12:5:18 | TupleStructPat |
| gen_let_expr.rs:5:8:5:31 | let ... = maybe_some | gen_let_expr.rs:5:12:5:18 | TupleStructPat |

12
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt.expected
View File

@@ -1,6 +1,6 @@
| gen_let_stmt.rs:5:5:5:15 | let x = ... | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:6:5:6:20 | let x = ... | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | yes |
| gen_let_stmt.rs:7:5:7:15 | let x | getNumberOfAttrs: | 0 | hasInitializer: | no | hasLetElse: | no | hasPat: | yes | hasTy: | yes |
| gen_let_stmt.rs:8:5:8:10 | let x | getNumberOfAttrs: | 0 | hasInitializer: | no | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:9:5:9:24 | let TuplePat = ... | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | yes | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:5:5:5:15 | let ... = 42 | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:6:5:6:20 | let ... = 42 | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | yes |
| gen_let_stmt.rs:7:5:7:15 | let ... | getNumberOfAttrs: | 0 | hasInitializer: | no | hasLetElse: | no | hasPat: | yes | hasTy: | yes |
| gen_let_stmt.rs:8:5:8:10 | let ... | getNumberOfAttrs: | 0 | hasInitializer: | no | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:9:5:9:24 | let ... = ... | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | no | hasPat: | yes | hasTy: | no |
| gen_let_stmt.rs:10:5:12:6 | let ... = ... else { ... } | getNumberOfAttrs: | 0 | hasInitializer: | yes | hasLetElse: | yes | hasPat: | yes | hasTy: | no |

8
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getInitializer.expected
View File

@@ -1,4 +1,4 @@
| gen_let_stmt.rs:5:5:5:15 | let x = ... | gen_let_stmt.rs:5:13:5:14 | 42 |
| gen_let_stmt.rs:6:5:6:20 | let x = ... | gen_let_stmt.rs:6:18:6:19 | 42 |
| gen_let_stmt.rs:9:5:9:24 | let TuplePat = ... | gen_let_stmt.rs:9:18:9:23 | TupleExpr |
| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | gen_let_stmt.rs:10:19:10:38 | std::env::var(...) |
| gen_let_stmt.rs:5:5:5:15 | let ... = 42 | gen_let_stmt.rs:5:13:5:14 | 42 |
| gen_let_stmt.rs:6:5:6:20 | let ... = 42 | gen_let_stmt.rs:6:18:6:19 | 42 |
| gen_let_stmt.rs:9:5:9:24 | let ... = ... | gen_let_stmt.rs:9:18:9:23 | TupleExpr |
| gen_let_stmt.rs:10:5:12:6 | let ... = ... else { ... } | gen_let_stmt.rs:10:19:10:38 | std::env::var(...) |

2
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getLetElse.expected
View File

@@ -1 +1 @@
| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | gen_let_stmt.rs:10:40:12:5 | else { ... } |
| gen_let_stmt.rs:10:5:12:6 | let ... = ... else { ... } | gen_let_stmt.rs:10:40:12:5 | else { ... } |

12
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getPat.expected
View File

@@ -1,6 +1,6 @@
| gen_let_stmt.rs:5:5:5:15 | let x = ... | gen_let_stmt.rs:5:9:5:9 | x |
| gen_let_stmt.rs:6:5:6:20 | let x = ... | gen_let_stmt.rs:6:9:6:9 | x |
| gen_let_stmt.rs:7:5:7:15 | let x | gen_let_stmt.rs:7:9:7:9 | x |
| gen_let_stmt.rs:8:5:8:10 | let x | gen_let_stmt.rs:8:9:8:9 | x |
| gen_let_stmt.rs:9:5:9:24 | let TuplePat = ... | gen_let_stmt.rs:9:9:9:14 | TuplePat |
| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | gen_let_stmt.rs:10:9:10:15 | TupleStructPat |
| gen_let_stmt.rs:5:5:5:15 | let ... = 42 | gen_let_stmt.rs:5:9:5:9 | x |
| gen_let_stmt.rs:6:5:6:20 | let ... = 42 | gen_let_stmt.rs:6:9:6:9 | x |
| gen_let_stmt.rs:7:5:7:15 | let ... | gen_let_stmt.rs:7:9:7:9 | x |
| gen_let_stmt.rs:8:5:8:10 | let ... | gen_let_stmt.rs:8:9:8:9 | x |
| gen_let_stmt.rs:9:5:9:24 | let ... = ... | gen_let_stmt.rs:9:9:9:14 | TuplePat |
| gen_let_stmt.rs:10:5:12:6 | let ... = ... else { ... } | gen_let_stmt.rs:10:9:10:15 | TupleStructPat |

4
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getTy.expected
View File

@@ -1,2 +1,2 @@
| gen_let_stmt.rs:6:5:6:20 | let x = ... | gen_let_stmt.rs:6:12:6:14 | i32 |
| gen_let_stmt.rs:7:5:7:15 | let x | gen_let_stmt.rs:7:12:7:14 | i32 |
| gen_let_stmt.rs:6:5:6:20 | let ... = 42 | gen_let_stmt.rs:6:12:6:14 | i32 |
| gen_let_stmt.rs:7:5:7:15 | let ... | gen_let_stmt.rs:7:12:7:14 | i32 |

6
rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected
View File

@@ -1,3 +1,3 @@
| gen_loop_expr.rs:5:5:7:5 | loop {...} | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes |
| gen_loop_expr.rs:8:5:11:5 | loop {...} | getNumberOfAttrs: | 0 | hasLabel: | yes | hasLoopBody: | yes |
| gen_loop_expr.rs:13:5:19:5 | loop {...} | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes |
| gen_loop_expr.rs:5:5:7:5 | loop { ... } | hasLabel: | no | hasLoopBody: | yes | getNumberOfAttrs: | 0 |
| gen_loop_expr.rs:8:5:11:5 | ''label: loop { ... } | hasLabel: | yes | hasLoopBody: | yes | getNumberOfAttrs: | 0 |
| gen_loop_expr.rs:13:5:19:5 | loop { ... } | hasLabel: | no | hasLoopBody: | yes | getNumberOfAttrs: | 0 |

2
rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getLabel.expected
View File

@@ -1 +1 @@
| gen_loop_expr.rs:8:5:11:5 | loop {...} | gen_loop_expr.rs:8:5:8:11 | ''label |
| gen_loop_expr.rs:8:5:11:5 | ''label: loop { ... } | gen_loop_expr.rs:8:5:8:11 | ''label |

6
rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getLoopBody.expected
View File

@@ -1,3 +1,3 @@
| gen_loop_expr.rs:5:5:7:5 | loop {...} | gen_loop_expr.rs:5:10:7:5 | { ... } |
| gen_loop_expr.rs:8:5:11:5 | loop {...} | gen_loop_expr.rs:8:18:11:5 | { ... } |
| gen_loop_expr.rs:13:5:19:5 | loop {...} | gen_loop_expr.rs:13:10:19:5 | { ... } |
| gen_loop_expr.rs:5:5:7:5 | loop { ... } | gen_loop_expr.rs:5:10:7:5 | { ... } |
| gen_loop_expr.rs:8:5:11:5 | ''label: loop { ... } | gen_loop_expr.rs:8:18:11:5 | { ... } |
| gen_loop_expr.rs:13:5:19:5 | loop { ... } | gen_loop_expr.rs:13:10:19:5 | { ... } |

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

@@ -1,9 +1,9 @@
uniqueNodeLocation
| file://:0:0:0:0 | ... .parent(...) | Node should have one location but has 0. |
| file://:0:0:0:0 | ... .unwrap(...) | Node should have one location but has 0. |
| file://:0:0:0:0 | ...: ... | Node should have one location but has 0. |
| file://:0:0:0:0 | path | Node should have one location but has 0. |
| file://:0:0:0:0 | path | Node should have one location but has 0. |
| file://:0:0:0:0 | path: RefType | Node should have one location but has 0. |
| file://:0:0:0:0 | { ... } | Node should have one location but has 0. |
missingLocation
| Nodes without location: 6 |

8
rust/ql/test/extractor-tests/generated/MatchArm/MatchArm.expected
View File

@@ -1,4 +1,4 @@
| gen_match_arm.rs:6:9:6:29 | TupleStructPat => ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |
| gen_match_arm.rs:7:9:7:26 | Option::None => ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |
| gen_match_arm.rs:10:9:10:35 | TupleStructPatif ... => ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | yes | hasPat: | yes |
| gen_match_arm.rs:11:9:11:15 | _ => ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |
| gen_match_arm.rs:6:9:6:29 | ... => y | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |
| gen_match_arm.rs:7:9:7:26 | Option::None => 0 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |
| gen_match_arm.rs:10:9:10:35 | ... if ... => ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | yes | hasPat: | yes |
| gen_match_arm.rs:11:9:11:15 | _ => 0 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasGuard: | no | hasPat: | yes |

8
rust/ql/test/extractor-tests/generated/MatchArm/MatchArm_getExpr.expected
View File

@@ -1,4 +1,4 @@
| gen_match_arm.rs:6:9:6:29 | MatchArm | gen_match_arm.rs:6:28:6:28 | y |
| gen_match_arm.rs:7:9:7:26 | MatchArm | gen_match_arm.rs:7:25:7:25 | 0 |
| gen_match_arm.rs:10:9:10:35 | MatchArm | gen_match_arm.rs:10:30:10:34 | ... / ... |
| gen_match_arm.rs:11:9:11:15 | MatchArm | gen_match_arm.rs:11:14:11:14 | 0 |
| gen_match_arm.rs:6:9:6:29 | ... => y | gen_match_arm.rs:6:28:6:28 | y |
| gen_match_arm.rs:7:9:7:26 | Option::None => 0 | gen_match_arm.rs:7:25:7:25 | 0 |
| gen_match_arm.rs:10:9:10:35 | ... if ... => ... | gen_match_arm.rs:10:30:10:34 | ... / ... |
| gen_match_arm.rs:11:9:11:15 | _ => 0 | gen_match_arm.rs:11:14:11:14 | 0 |

2
rust/ql/test/extractor-tests/generated/MatchArm/MatchArm_getGuard.expected
View File

@@ -1 +1 @@
| gen_match_arm.rs:10:9:10:35 | TupleStructPatif ... => ... | gen_match_arm.rs:10:17:10:25 | MatchGuard |
| gen_match_arm.rs:10:9:10:35 | ... if ... => ... | gen_match_arm.rs:10:17:10:25 | MatchGuard |

8
rust/ql/test/extractor-tests/generated/MatchArm/MatchArm_getPat.expected
View File

@@ -1,4 +1,4 @@
| gen_match_arm.rs:6:9:6:29 | TupleStructPat => ... | gen_match_arm.rs:6:9:6:23 | TupleStructPat |
| gen_match_arm.rs:7:9:7:26 | Option::None => ... | gen_match_arm.rs:7:9:7:20 | Option::None |
| gen_match_arm.rs:10:9:10:35 | TupleStructPatif ... => ... | gen_match_arm.rs:10:9:10:15 | TupleStructPat |
| gen_match_arm.rs:11:9:11:15 | _ => ... | gen_match_arm.rs:11:9:11:9 | _ |
| gen_match_arm.rs:6:9:6:29 | ... => y | gen_match_arm.rs:6:9:6:23 | TupleStructPat |
| gen_match_arm.rs:7:9:7:26 | Option::None => 0 | gen_match_arm.rs:7:9:7:20 | Option::None |
| gen_match_arm.rs:10:9:10:35 | ... if ... => ... | gen_match_arm.rs:10:9:10:15 | TupleStructPat |
| gen_match_arm.rs:11:9:11:15 | _ => 0 | gen_match_arm.rs:11:9:11:9 | _ |

4
rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_match_expr.rs:5:5:8:5 | match ... { ... } | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes |
| gen_match_expr.rs:9:5:12:5 | match ... { ... } | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes |
| gen_match_expr.rs:5:5:8:5 | match x { ... } | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes |
| gen_match_expr.rs:9:5:12:5 | match x { ... } | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes |

4
rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_match_expr.rs:5:5:8:5 | match ... { ... } | gen_match_expr.rs:5:11:5:11 | x |
| gen_match_expr.rs:9:5:12:5 | match ... { ... } | gen_match_expr.rs:9:11:9:11 | x |
| gen_match_expr.rs:5:5:8:5 | match x { ... } | gen_match_expr.rs:5:11:5:11 | x |
| gen_match_expr.rs:9:5:12:5 | match x { ... } | gen_match_expr.rs:9:11:9:11 | x |

4
rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getMatchArmList.expected
View File

@@ -1,2 +1,2 @@
| gen_match_expr.rs:5:5:8:5 | match ... { ... } | gen_match_expr.rs:5:13:8:5 | MatchArmList |
| gen_match_expr.rs:9:5:12:5 | match ... { ... } | gen_match_expr.rs:9:13:12:5 | MatchArmList |
| gen_match_expr.rs:5:5:8:5 | match x { ... } | gen_match_expr.rs:5:13:8:5 | MatchArmList |
| gen_match_expr.rs:9:5:12:5 | match x { ... } | gen_match_expr.rs:9:13:12:5 | MatchArmList |

2
rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected
View File

@@ -1 +1 @@
| gen_or_pat.rs:6:9:6:38 | ... \| ... | getNumberOfPats: | 2 |
| gen_or_pat.rs:6:9:6:38 | ...Option::None | getNumberOfPats: | 2 |

4
rust/ql/test/extractor-tests/generated/OrPat/OrPat_getPat.expected
View File

@@ -1,2 +1,2 @@
| gen_or_pat.rs:6:9:6:38 | ... \| ... | 0 | gen_or_pat.rs:6:9:6:23 | TupleStructPat |
| gen_or_pat.rs:6:9:6:38 | ... \| ... | 1 | gen_or_pat.rs:6:27:6:38 | Option::None |
| gen_or_pat.rs:6:9:6:38 | ...Option::None | 0 | gen_or_pat.rs:6:9:6:23 | TupleStructPat |
| gen_or_pat.rs:6:9:6:38 | ...Option::None | 1 | gen_or_pat.rs:6:27:6:38 | Option::None |

12
rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected
View File

@@ -1,6 +1,6 @@
| gen_range_expr.rs:5:13:5:18 | ... ..= ... | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:6:13:6:17 | ... .. ... | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:7:13:7:16 | ... .. ... | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:8:13:8:16 | ... .. ... | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no |
| gen_range_expr.rs:9:13:9:17 | ... ..= ... | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no |
| gen_range_expr.rs:10:13:10:14 | ... .. ... | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | no |
| gen_range_expr.rs:5:13:5:18 | 1..=10 | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:6:13:6:17 | 1..10 | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:7:13:7:16 | 10.. | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes |
| gen_range_expr.rs:8:13:8:16 | ..10 | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no |
| gen_range_expr.rs:9:13:9:17 | ..=10 | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no |
| gen_range_expr.rs:10:13:10:14 | .. | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | no |

8
rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getEnd.expected
View File

@@ -1,4 +1,4 @@
| gen_range_expr.rs:5:13:5:18 | ... ..= ... | gen_range_expr.rs:5:17:5:18 | 10 |
| gen_range_expr.rs:6:13:6:17 | ... .. ... | gen_range_expr.rs:6:16:6:17 | 10 |
| gen_range_expr.rs:8:13:8:16 | ... .. ... | gen_range_expr.rs:8:15:8:16 | 10 |
| gen_range_expr.rs:9:13:9:17 | ... ..= ... | gen_range_expr.rs:9:16:9:17 | 10 |
| gen_range_expr.rs:5:13:5:18 | 1..=10 | gen_range_expr.rs:5:17:5:18 | 10 |
| gen_range_expr.rs:6:13:6:17 | 1..10 | gen_range_expr.rs:6:16:6:17 | 10 |
| gen_range_expr.rs:8:13:8:16 | ..10 | gen_range_expr.rs:8:15:8:16 | 10 |
| gen_range_expr.rs:9:13:9:17 | ..=10 | gen_range_expr.rs:9:16:9:17 | 10 |

12
rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getOperatorName.expected
View File

@@ -1,6 +1,6 @@
| gen_range_expr.rs:5:13:5:18 | ... ..= ... | ..= |
| gen_range_expr.rs:6:13:6:17 | ... .. ... | .. |
| gen_range_expr.rs:7:13:7:16 | ... .. ... | .. |
| gen_range_expr.rs:8:13:8:16 | ... .. ... | .. |
| gen_range_expr.rs:9:13:9:17 | ... ..= ... | ..= |
| gen_range_expr.rs:10:13:10:14 | ... .. ... | .. |
| gen_range_expr.rs:5:13:5:18 | 1..=10 | ..= |
| gen_range_expr.rs:6:13:6:17 | 1..10 | .. |
| gen_range_expr.rs:7:13:7:16 | 10.. | .. |
| gen_range_expr.rs:8:13:8:16 | ..10 | .. |
| gen_range_expr.rs:9:13:9:17 | ..=10 | ..= |
| gen_range_expr.rs:10:13:10:14 | .. | .. |

6
rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getStart.expected
View File

@@ -1,3 +1,3 @@
| gen_range_expr.rs:5:13:5:18 | ... ..= ... | gen_range_expr.rs:5:13:5:13 | 1 |
| gen_range_expr.rs:6:13:6:17 | ... .. ... | gen_range_expr.rs:6:13:6:13 | 1 |
| gen_range_expr.rs:7:13:7:16 | ... .. ... | gen_range_expr.rs:7:13:7:14 | 10 |
| gen_range_expr.rs:5:13:5:18 | 1..=10 | gen_range_expr.rs:5:13:5:13 | 1 |
| gen_range_expr.rs:6:13:6:17 | 1..10 | gen_range_expr.rs:6:13:6:13 | 1 |
| gen_range_expr.rs:7:13:7:16 | 10.. | gen_range_expr.rs:7:13:7:14 | 10 |

4
rust/ql/test/extractor-tests/generated/RecordExprField/RecordExprField.expected
View File

@@ -1,2 +1,2 @@
| gen_record_expr_field.rs:5:11:5:14 | a: ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |
| gen_record_expr_field.rs:5:17:5:20 | b: ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |
| gen_record_expr_field.rs:5:11:5:14 | a: 1 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |
| gen_record_expr_field.rs:5:17:5:20 | b: 2 | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes |

4
rust/ql/test/extractor-tests/generated/RecordExprField/RecordExprField_getExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_record_expr_field.rs:5:11:5:14 | a: ... | gen_record_expr_field.rs:5:14:5:14 | 1 |
| gen_record_expr_field.rs:5:17:5:20 | b: ... | gen_record_expr_field.rs:5:20:5:20 | 2 |
| gen_record_expr_field.rs:5:11:5:14 | a: 1 | gen_record_expr_field.rs:5:14:5:14 | 1 |
| gen_record_expr_field.rs:5:17:5:20 | b: 2 | gen_record_expr_field.rs:5:20:5:20 | 2 |

4
rust/ql/test/extractor-tests/generated/RecordExprField/RecordExprField_getNameRef.expected
View File

@@ -1,2 +1,2 @@
| gen_record_expr_field.rs:5:11:5:14 | a: ... | gen_record_expr_field.rs:5:11:5:11 | a |
| gen_record_expr_field.rs:5:17:5:20 | b: ... | gen_record_expr_field.rs:5:17:5:17 | b |
| gen_record_expr_field.rs:5:11:5:14 | a: 1 | gen_record_expr_field.rs:5:11:5:11 | a |
| gen_record_expr_field.rs:5:17:5:20 | b: 2 | gen_record_expr_field.rs:5:17:5:17 | b |

8
rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected
View File

@@ -1,4 +1,4 @@
| gen_ref_expr.rs:5:25:5:28 | &... | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | no | isRaw: | no |
| gen_ref_expr.rs:6:23:6:30 | &mut ... | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | no |
| gen_ref_expr.rs:7:35:7:48 | &raw const ... | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | yes | isMut: | no | isRaw: | yes |
| gen_ref_expr.rs:8:33:8:44 | &raw mut ... | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | yes |
| gen_ref_expr.rs:5:25:5:28 | &foo | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | no | isRaw: | no |
| gen_ref_expr.rs:6:23:6:30 | &mut foo | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | no |
| gen_ref_expr.rs:7:35:7:48 | &raw const foo | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | yes | isMut: | no | isRaw: | yes |
| gen_ref_expr.rs:8:33:8:44 | &raw mut foo | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | yes |

8
rust/ql/test/extractor-tests/generated/RefExpr/RefExpr_getExpr.expected
View File

@@ -1,4 +1,4 @@
| gen_ref_expr.rs:5:25:5:28 | &... | gen_ref_expr.rs:5:26:5:28 | foo |
| gen_ref_expr.rs:6:23:6:30 | &mut ... | gen_ref_expr.rs:6:28:6:30 | foo |
| gen_ref_expr.rs:7:35:7:48 | &raw const ... | gen_ref_expr.rs:7:46:7:48 | foo |
| gen_ref_expr.rs:8:33:8:44 | &raw mut ... | gen_ref_expr.rs:8:42:8:44 | foo |
| gen_ref_expr.rs:5:25:5:28 | &foo | gen_ref_expr.rs:5:26:5:28 | foo |
| gen_ref_expr.rs:6:23:6:30 | &mut foo | gen_ref_expr.rs:6:28:6:30 | foo |
| gen_ref_expr.rs:7:35:7:48 | &raw const foo | gen_ref_expr.rs:7:46:7:48 | foo |
| gen_ref_expr.rs:8:33:8:44 | &raw mut foo | gen_ref_expr.rs:8:42:8:44 | foo |

2
rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected
View File

@@ -1,2 +1,2 @@
| gen_ref_pat.rs:6:9:6:28 | &mut ... | isMut: | yes | hasPat: | yes |
| gen_ref_pat.rs:7:9:7:21 | &... | isMut: | no | hasPat: | yes |
| gen_ref_pat.rs:7:9:7:21 | &Option::None | isMut: | no | hasPat: | yes |

2
rust/ql/test/extractor-tests/generated/RefPat/RefPat_getPat.expected
View File

@@ -1,2 +1,2 @@
| gen_ref_pat.rs:6:9:6:28 | &mut ... | gen_ref_pat.rs:6:14:6:28 | TupleStructPat |
| gen_ref_pat.rs:7:9:7:21 | &... | gen_ref_pat.rs:7:10:7:21 | Option::None |
| gen_ref_pat.rs:7:9:7:21 | &Option::None | gen_ref_pat.rs:7:10:7:21 | Option::None |

2
rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected
View File

@@ -1,2 +1,2 @@
| gen_return_expr.rs:5:5:5:13 | return ... | getNumberOfAttrs: | 0 | hasExpr: | yes |
| gen_return_expr.rs:5:5:5:13 | return 42 | getNumberOfAttrs: | 0 | hasExpr: | yes |
| gen_return_expr.rs:8:5:8:10 | return | getNumberOfAttrs: | 0 | hasExpr: | no |

2
rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getExpr.expected
View File

@@ -1 +1 @@
| gen_return_expr.rs:5:5:5:13 | return ... | gen_return_expr.rs:5:12:5:13 | 42 |
| gen_return_expr.rs:5:5:5:13 | return 42 | gen_return_expr.rs:5:12:5:13 | 42 |

2
rust/ql/test/extractor-tests/utf8/ast.expected
View File

@@ -27,7 +27,7 @@
| utf8_identifiers.rs:10:12:10:13 | ParamList |
| utf8_identifiers.rs:10:15:12:1 | StmtList |
| utf8_identifiers.rs:10:15:12:1 | { ... } |
| utf8_identifiers.rs:11:5:11:24 | let \u03b1 = ... |
| utf8_identifiers.rs:11:5:11:24 | let ... = 0.00001f64 |
| utf8_identifiers.rs:11:9:11:9 | \u03b1 |
| utf8_identifiers.rs:11:9:11:9 | \u03b1 |
| utf8_identifiers.rs:11:14:11:23 | 0.00001f64 |

44
rust/ql/test/library-tests/controlflow-unstable/Cfg.expected
View File

@@ -1,53 +1,53 @@
edges
| test.rs:5:5:11:5 | enter fn test_and_if_let | test.rs:5:24:5:24 | a | |
| test.rs:5:5:11:5 | exit fn test_and_if_let (normal) | test.rs:5:5:11:5 | exit fn test_and_if_let | |
| test.rs:5:24:5:24 | a | test.rs:5:24:5:30 | a: bool | match |
| test.rs:5:24:5:30 | a: bool | test.rs:5:33:5:33 | b | |
| test.rs:5:33:5:33 | b | test.rs:5:33:5:47 | b: Option::<...> | match |
| test.rs:5:33:5:47 | b: Option::<...> | test.rs:5:50:5:50 | c | |
| test.rs:5:50:5:50 | c | test.rs:5:50:5:56 | c: bool | match |
| test.rs:5:50:5:56 | c: bool | test.rs:6:12:6:12 | a | |
| test.rs:5:24:5:24 | a | test.rs:5:24:5:30 | ...: bool | match |
| test.rs:5:24:5:30 | ...: bool | test.rs:5:33:5:33 | b | |
| test.rs:5:33:5:33 | b | test.rs:5:33:5:47 | ...: Option::<...> | match |
| test.rs:5:33:5:47 | ...: Option::<...> | test.rs:5:50:5:50 | c | |
| test.rs:5:50:5:50 | c | test.rs:5:50:5:56 | ...: bool | match |
| test.rs:5:50:5:56 | ...: bool | test.rs:6:12:6:12 | a | |
| test.rs:5:67:11:5 | { ... } | test.rs:5:5:11:5 | exit fn test_and_if_let (normal) | |
| test.rs:6:9:10:9 | if ... { ... } else { ... } | test.rs:5:67:11:5 | { ... } | |
| test.rs:6:9:10:9 | if ... {...} else {...} | test.rs:5:67:11:5 | { ... } | |
| test.rs:6:12:6:12 | a | test.rs:6:12:6:31 | [boolean(false)] ... && ... | false |
| test.rs:6:12:6:12 | a | test.rs:6:17:6:31 | let TupleStructPat = ... | true |
| test.rs:6:12:6:12 | a | test.rs:6:17:6:31 | let ... = b | true |
| test.rs:6:12:6:31 | [boolean(false)] ... && ... | test.rs:9:13:9:17 | false | false |
| test.rs:6:12:6:31 | [boolean(true)] ... && ... | test.rs:7:13:7:13 | d | true |
| test.rs:6:17:6:31 | let TupleStructPat = ... | test.rs:6:31:6:31 | b | |
| test.rs:6:17:6:31 | let ... = b | test.rs:6:31:6:31 | b | |
| test.rs:6:21:6:27 | TupleStructPat | test.rs:6:12:6:31 | [boolean(false)] ... && ... | no-match |
| test.rs:6:21:6:27 | TupleStructPat | test.rs:6:26:6:26 | d | match |
| test.rs:6:26:6:26 | d | test.rs:6:12:6:31 | [boolean(true)] ... && ... | match |
| test.rs:6:31:6:31 | b | test.rs:6:21:6:27 | TupleStructPat | |
| test.rs:6:33:8:9 | { ... } | test.rs:6:9:10:9 | if ... { ... } else { ... } | |
| test.rs:6:33:8:9 | { ... } | test.rs:6:9:10:9 | if ... {...} else {...} | |
| test.rs:7:13:7:13 | d | test.rs:6:33:8:9 | { ... } | |
| test.rs:8:16:10:9 | { ... } | test.rs:6:9:10:9 | if ... { ... } else { ... } | |
| test.rs:8:16:10:9 | { ... } | test.rs:6:9:10:9 | if ... {...} else {...} | |
| test.rs:9:13:9:17 | false | test.rs:8:16:10:9 | { ... } | |
| test.rs:13:5:21:5 | enter fn test_and_if_let2 | test.rs:13:25:13:25 | a | |
| test.rs:13:5:21:5 | exit fn test_and_if_let2 (normal) | test.rs:13:5:21:5 | exit fn test_and_if_let2 | |
| test.rs:13:25:13:25 | a | test.rs:13:25:13:31 | a: bool | match |
| test.rs:13:25:13:31 | a: bool | test.rs:13:34:13:34 | b | |
| test.rs:13:34:13:34 | b | test.rs:13:34:13:39 | b: i64 | match |
| test.rs:13:34:13:39 | b: i64 | test.rs:13:42:13:42 | c | |
| test.rs:13:42:13:42 | c | test.rs:13:42:13:48 | c: bool | match |
| test.rs:13:42:13:48 | c: bool | test.rs:14:12:14:12 | a | |
| test.rs:13:25:13:25 | a | test.rs:13:25:13:31 | ...: bool | match |
| test.rs:13:25:13:31 | ...: bool | test.rs:13:34:13:34 | b | |
| test.rs:13:34:13:34 | b | test.rs:13:34:13:39 | ...: i64 | match |
| test.rs:13:34:13:39 | ...: i64 | test.rs:13:42:13:42 | c | |
| test.rs:13:42:13:42 | c | test.rs:13:42:13:48 | ...: bool | match |
| test.rs:13:42:13:48 | ...: bool | test.rs:14:12:14:12 | a | |
| test.rs:13:59:21:5 | { ... } | test.rs:13:5:21:5 | exit fn test_and_if_let2 (normal) | |
| test.rs:14:9:20:9 | if ... { ... } else { ... } | test.rs:13:59:21:5 | { ... } | |
| test.rs:14:9:20:9 | if ... {...} else {...} | test.rs:13:59:21:5 | { ... } | |
| test.rs:14:12:14:12 | a | test.rs:14:12:14:25 | [boolean(false)] ... && ... | false |
| test.rs:14:12:14:12 | a | test.rs:14:17:14:25 | let d = ... | true |
| test.rs:14:12:14:12 | a | test.rs:14:17:14:25 | let ... = b | true |
| test.rs:14:12:14:25 | [boolean(false)] ... && ... | test.rs:14:12:15:16 | [boolean(false)] ... && ... | false |
| test.rs:14:12:14:25 | [boolean(true)] ... && ... | test.rs:15:16:15:16 | c | true |
| test.rs:14:12:15:16 | [boolean(false)] ... && ... | test.rs:19:13:19:17 | false | false |
| test.rs:14:12:15:16 | [boolean(true)] ... && ... | test.rs:17:13:17:13 | d | true |
| test.rs:14:17:14:25 | let d = ... | test.rs:14:25:14:25 | b | |
| test.rs:14:17:14:25 | let ... = b | test.rs:14:25:14:25 | b | |
| test.rs:14:21:14:21 | d | test.rs:14:12:14:25 | [boolean(true)] ... && ... | match |
| test.rs:14:25:14:25 | b | test.rs:14:21:14:21 | d | |
| test.rs:15:16:15:16 | c | test.rs:14:12:15:16 | [boolean(false)] ... && ... | false |
| test.rs:15:16:15:16 | c | test.rs:14:12:15:16 | [boolean(true)] ... && ... | true |
| test.rs:16:9:18:9 | { ... } | test.rs:14:9:20:9 | if ... { ... } else { ... } | |
| test.rs:16:9:18:9 | { ... } | test.rs:14:9:20:9 | if ... {...} else {...} | |
| test.rs:17:13:17:13 | d | test.rs:17:17:17:17 | 0 | |
| test.rs:17:13:17:17 | ... > ... | test.rs:16:9:18:9 | { ... } | |
| test.rs:17:17:17:17 | 0 | test.rs:17:13:17:17 | ... > ... | |
| test.rs:18:16:20:9 | { ... } | test.rs:14:9:20:9 | if ... { ... } else { ... } | |
| test.rs:18:16:20:9 | { ... } | test.rs:14:9:20:9 | if ... {...} else {...} | |
| test.rs:19:13:19:17 | false | test.rs:18:16:20:9 | { ... } | |
breakTarget
continueTarget

16
rust/ql/test/library-tests/dataflow/barrier/inline-flow.expected
View File

@@ -1,16 +1,16 @@
models
edges
| main.rs:21:13:21:21 | (...) ... : unit | main.rs:22:10:22:10 | s | provenance | |
| main.rs:32:13:32:21 | (...) ... : unit | main.rs:33:10:33:10 | s | provenance | |
| main.rs:21:13:21:21 | source(...) : unit | main.rs:22:10:22:10 | s | provenance | |
| main.rs:32:13:32:21 | source(...) : unit | main.rs:33:10:33:10 | s | provenance | |
nodes
| main.rs:17:10:17:18 | (...) ... | semmle.label | (...) ... |
| main.rs:21:13:21:21 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:17:10:17:18 | source(...) | semmle.label | source(...) |
| main.rs:21:13:21:21 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:22:10:22:10 | s | semmle.label | s |
| main.rs:32:13:32:21 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:32:13:32:21 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:33:10:33:10 | s | semmle.label | s |
subpaths
testFailures
#select
| main.rs:17:10:17:18 | (...) ... | main.rs:17:10:17:18 | (...) ... | main.rs:17:10:17:18 | (...) ... | $@ | main.rs:17:10:17:18 | (...) ... | (...) ... |
| main.rs:22:10:22:10 | s | main.rs:21:13:21:21 | (...) ... : unit | main.rs:22:10:22:10 | s | $@ | main.rs:21:13:21:21 | (...) ... : unit | (...) ... : unit |
| main.rs:33:10:33:10 | s | main.rs:32:13:32:21 | (...) ... : unit | main.rs:33:10:33:10 | s | $@ | main.rs:32:13:32:21 | (...) ... : unit | (...) ... : unit |
| main.rs:17:10:17:18 | source(...) | main.rs:17:10:17:18 | source(...) | main.rs:17:10:17:18 | source(...) | $@ | main.rs:17:10:17:18 | source(...) | source(...) |
| main.rs:22:10:22:10 | s | main.rs:21:13:21:21 | source(...) : unit | main.rs:22:10:22:10 | s | $@ | main.rs:21:13:21:21 | source(...) : unit | source(...) : unit |
| main.rs:33:10:33:10 | s | main.rs:32:13:32:21 | source(...) : unit | main.rs:33:10:33:10 | s | $@ | main.rs:32:13:32:21 | source(...) : unit | source(...) : unit |

42
rust/ql/test/library-tests/dataflow/global/viableCallable.expected
View File

@@ -1,24 +1,24 @@
| main.rs:13:5:13:13 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:17:13:17:23 | (...) ... | main.rs:12:1:14:1 | fn get_data |
| main.rs:18:5:18:11 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:22:5:22:15 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:26:13:26:21 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:27:5:27:14 | (...) ... | main.rs:21:1:23:1 | fn data_in |
| main.rs:35:13:35:21 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:36:13:36:27 | (...) ... | main.rs:30:1:32:1 | fn pass_through |
| main.rs:37:5:37:11 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:49:9:49:15 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:55:13:55:21 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:13:5:13:13 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:17:13:17:23 | get_data(...) | main.rs:12:1:14:1 | fn get_data |
| main.rs:18:5:18:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:22:5:22:15 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:26:13:26:21 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:27:5:27:14 | data_in(...) | main.rs:21:1:23:1 | fn data_in |
| main.rs:35:13:35:21 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:36:13:36:27 | pass_through(...) | main.rs:30:1:32:1 | fn pass_through |
| main.rs:37:5:37:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:49:9:49:15 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:55:13:55:21 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:69:13:69:25 | ... .get_data(...) | main.rs:51:5:57:5 | fn get_data |
| main.rs:70:5:70:11 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:75:13:75:21 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:70:5:70:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:75:13:75:21 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:76:5:76:17 | ... .data_in(...) | main.rs:48:5:50:5 | fn data_in |
| main.rs:81:13:81:21 | (...) ... | main.rs:1:1:3:1 | fn source |
| main.rs:81:13:81:21 | source(...) | main.rs:1:1:3:1 | fn source |
| main.rs:82:5:82:22 | ... .data_through(...) | main.rs:58:5:64:5 | fn data_through |
| main.rs:83:5:83:11 | (...) ... | main.rs:5:1:7:1 | fn sink |
| main.rs:87:5:87:22 | (...) ... | main.rs:16:1:19:1 | fn data_out_of_call |
| main.rs:88:5:88:21 | (...) ... | main.rs:25:1:28:1 | fn data_in_to_call |
| main.rs:89:5:89:23 | (...) ... | main.rs:34:1:38:1 | fn data_through_call |
| main.rs:91:5:91:24 | (...) ... | main.rs:67:1:71:1 | fn data_out_of_method |
| main.rs:92:5:92:28 | (...) ... | main.rs:73:1:77:1 | fn data_in_to_method_call |
| main.rs:93:5:93:25 | (...) ... | main.rs:79:1:84:1 | fn data_through_method |
| main.rs:83:5:83:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
| main.rs:87:5:87:22 | data_out_of_call(...) | main.rs:16:1:19:1 | fn data_out_of_call |
| main.rs:88:5:88:21 | data_in_to_call(...) | main.rs:25:1:28:1 | fn data_in_to_call |
| main.rs:89:5:89:23 | data_through_call(...) | main.rs:34:1:38:1 | fn data_through_call |
| main.rs:91:5:91:24 | data_out_of_method(...) | main.rs:67:1:71:1 | fn data_out_of_method |
| main.rs:92:5:92:28 | data_in_to_method_call(...) | main.rs:73:1:77:1 | fn data_in_to_method_call |
| main.rs:93:5:93:25 | data_through_method(...) | main.rs:79:1:84:1 | fn data_through_method |

42
rust/ql/test/library-tests/dataflow/local/DataFlowStep.expected
View File

@@ -5,42 +5,42 @@
| main.rs:7:9:7:9 | s | main.rs:7:9:7:9 | [SSA] s |
| main.rs:19:9:19:9 | [SSA] s | main.rs:20:10:20:10 | s |
| main.rs:19:9:19:9 | s | main.rs:19:9:19:9 | [SSA] s |
| main.rs:19:13:19:21 | (...) ... | main.rs:19:9:19:9 | s |
| main.rs:19:13:19:21 | source(...) | main.rs:19:9:19:9 | s |
| main.rs:23:18:23:21 | [SSA] cond | main.rs:26:16:26:19 | cond |
| main.rs:23:18:23:21 | cond | main.rs:23:18:23:21 | [SSA] cond |
| main.rs:24:9:24:9 | [SSA] a | main.rs:26:23:26:23 | a |
| main.rs:24:9:24:9 | a | main.rs:24:9:24:9 | [SSA] a |
| main.rs:24:13:24:21 | (...) ... | main.rs:24:9:24:9 | a |
| main.rs:24:13:24:21 | source(...) | main.rs:24:9:24:9 | a |
| main.rs:25:9:25:9 | [SSA] b | main.rs:26:34:26:34 | b |
| main.rs:25:9:25:9 | b | main.rs:25:9:25:9 | [SSA] b |
| main.rs:25:13:25:13 | 2 | main.rs:25:9:25:9 | b |
| main.rs:26:9:26:9 | [SSA] c | main.rs:27:10:27:10 | c |
| main.rs:26:9:26:9 | c | main.rs:26:9:26:9 | [SSA] c |
| main.rs:26:13:26:36 | ... else { ... } if {...} | main.rs:26:9:26:9 | c |
| main.rs:26:21:26:25 | { ... } | main.rs:26:13:26:36 | ... else { ... } if {...} |
| main.rs:26:13:26:36 | if cond {...} else {...} | main.rs:26:9:26:9 | c |
| main.rs:26:21:26:25 | { ... } | main.rs:26:13:26:36 | if cond {...} else {...} |
| main.rs:26:23:26:23 | a | main.rs:26:21:26:25 | { ... } |
| main.rs:26:32:26:36 | { ... } | main.rs:26:13:26:36 | ... else { ... } if {...} |
| main.rs:26:32:26:36 | { ... } | main.rs:26:13:26:36 | if cond {...} else {...} |
| main.rs:26:34:26:34 | b | main.rs:26:32:26:36 | { ... } |
| main.rs:30:21:30:21 | [SSA] m | main.rs:32:19:32:19 | m |
| main.rs:30:21:30:21 | m | main.rs:30:21:30:21 | [SSA] m |
| main.rs:31:9:31:9 | [SSA] a | main.rs:33:20:33:20 | a |
| main.rs:31:9:31:9 | a | main.rs:31:9:31:9 | [SSA] a |
| main.rs:31:13:31:21 | (...) ... | main.rs:31:9:31:9 | a |
| main.rs:31:13:31:21 | source(...) | main.rs:31:9:31:9 | a |
| main.rs:32:9:32:9 | [SSA] b | main.rs:36:10:36:10 | b |
| main.rs:32:9:32:9 | b | main.rs:32:9:32:9 | [SSA] b |
| main.rs:32:13:35:5 | match ... { ... } | main.rs:32:9:32:9 | b |
| main.rs:33:20:33:20 | a | main.rs:32:13:35:5 | match ... { ... } |
| main.rs:34:17:34:17 | 0 | main.rs:32:13:35:5 | match ... { ... } |
| main.rs:32:13:35:5 | match m { ... } | main.rs:32:9:32:9 | b |
| main.rs:33:20:33:20 | a | main.rs:32:13:35:5 | match m { ... } |
| main.rs:34:17:34:17 | 0 | main.rs:32:13:35:5 | match m { ... } |
| main.rs:40:9:40:9 | [SSA] a | main.rs:43:10:43:10 | a |
| main.rs:40:9:40:9 | a | main.rs:40:9:40:9 | [SSA] a |
| main.rs:40:13:42:5 | loop { ... } | main.rs:40:9:40:9 | a |
| main.rs:41:9:41:15 | 1 break | main.rs:40:13:42:5 | loop { ... } |
| main.rs:41:15:41:15 | 1 | main.rs:41:9:41:15 | 1 break |
| main.rs:41:9:41:15 | break 1 | main.rs:40:13:42:5 | loop { ... } |
| main.rs:41:15:41:15 | 1 | main.rs:41:9:41:15 | break 1 |
| main.rs:44:9:44:9 | [SSA] b | main.rs:47:10:47:10 | b |
| main.rs:44:9:44:9 | b | main.rs:44:9:44:9 | [SSA] b |
| main.rs:44:13:46:5 | loop { ... } | main.rs:44:9:44:9 | b |
| main.rs:45:9:45:23 | ... break | main.rs:44:13:46:5 | loop { ... } |
| main.rs:45:15:45:23 | (...) ... | main.rs:45:9:45:23 | ... break |
| main.rs:45:9:45:23 | break ... | main.rs:44:13:46:5 | loop { ... } |
| main.rs:45:15:45:23 | source(...) | main.rs:45:9:45:23 | break ... |
| main.rs:51:9:51:13 | [SSA] i | main.rs:52:10:52:10 | i |
| main.rs:51:9:51:13 | i | main.rs:51:9:51:13 | [SSA] i |
| main.rs:51:17:51:17 | 1 | main.rs:51:9:51:13 | i |
@@ -48,7 +48,7 @@
| main.rs:53:5:53:5 | i | main.rs:53:5:53:5 | [SSA] i |
| main.rs:61:9:61:9 | [SSA] i | main.rs:62:11:62:11 | i |
| main.rs:61:9:61:9 | i | main.rs:61:9:61:9 | [SSA] i |
| main.rs:61:13:61:31 | (...) ... | main.rs:61:9:61:9 | i |
| main.rs:61:13:61:31 | Box::new(...) | main.rs:61:9:61:9 | i |
| main.rs:66:9:66:9 | [SSA] a | main.rs:67:10:67:10 | a |
| main.rs:66:9:66:9 | a | main.rs:66:9:66:9 | [SSA] a |
| main.rs:66:13:66:26 | TupleExpr | main.rs:66:9:66:9 | a |
@@ -70,16 +70,16 @@
| main.rs:97:38:97:38 | p | main.rs:97:9:97:34 | Point {...} |
| main.rs:104:9:104:10 | [SSA] s1 | main.rs:106:11:106:12 | s1 |
| main.rs:104:9:104:10 | s1 | main.rs:104:9:104:10 | [SSA] s1 |
| main.rs:104:14:104:28 | (...) ... | main.rs:104:9:104:10 | s1 |
| main.rs:104:14:104:28 | Some(...) | main.rs:104:9:104:10 | s1 |
| main.rs:105:9:105:10 | [SSA] s2 | main.rs:110:11:110:12 | s2 |
| main.rs:105:9:105:10 | s2 | main.rs:105:9:105:10 | [SSA] s2 |
| main.rs:105:14:105:20 | (...) ... | main.rs:105:9:105:10 | s2 |
| main.rs:105:14:105:20 | Some(...) | main.rs:105:9:105:10 | s2 |
| main.rs:107:14:107:14 | [SSA] n | main.rs:107:25:107:25 | n |
| main.rs:107:14:107:14 | n | main.rs:107:14:107:14 | [SSA] n |
| main.rs:107:20:107:26 | (...) ... | main.rs:106:5:109:5 | match ... { ... } |
| main.rs:108:17:108:23 | (...) ... | main.rs:106:5:109:5 | match ... { ... } |
| main.rs:110:5:113:5 | match ... { ... } | main.rs:103:27:114:1 | { ... } |
| main.rs:107:20:107:26 | sink(...) | main.rs:106:5:109:5 | match s1 { ... } |
| main.rs:108:17:108:23 | sink(...) | main.rs:106:5:109:5 | match s1 { ... } |
| main.rs:110:5:113:5 | match s2 { ... } | main.rs:103:27:114:1 | { ... } |
| main.rs:111:14:111:14 | [SSA] n | main.rs:111:25:111:25 | n |
| main.rs:111:14:111:14 | n | main.rs:111:14:111:14 | [SSA] n |
| main.rs:111:20:111:26 | (...) ... | main.rs:110:5:113:5 | match ... { ... } |
| main.rs:112:17:112:23 | (...) ... | main.rs:110:5:113:5 | match ... { ... } |
| main.rs:111:20:111:26 | sink(...) | main.rs:110:5:113:5 | match s2 { ... } |
| main.rs:112:17:112:23 | sink(...) | main.rs:110:5:113:5 | match s2 { ... } |

28
rust/ql/test/library-tests/dataflow/local/inline-flow.expected
View File

@@ -1,24 +1,24 @@
models
edges
| main.rs:19:13:19:21 | (...) ... : unit | main.rs:20:10:20:10 | s | provenance | |
| main.rs:24:13:24:21 | (...) ... : unit | main.rs:27:10:27:10 | c | provenance | |
| main.rs:31:13:31:21 | (...) ... : unit | main.rs:36:10:36:10 | b | provenance | |
| main.rs:45:15:45:23 | (...) ... : unit | main.rs:47:10:47:10 | b | provenance | |
| main.rs:19:13:19:21 | source(...) : unit | main.rs:20:10:20:10 | s | provenance | |
| main.rs:24:13:24:21 | source(...) : unit | main.rs:27:10:27:10 | c | provenance | |
| main.rs:31:13:31:21 | source(...) : unit | main.rs:36:10:36:10 | b | provenance | |
| main.rs:45:15:45:23 | source(...) : unit | main.rs:47:10:47:10 | b | provenance | |
nodes
| main.rs:15:10:15:18 | (...) ... | semmle.label | (...) ... |
| main.rs:19:13:19:21 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:15:10:15:18 | source(...) | semmle.label | source(...) |
| main.rs:19:13:19:21 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:20:10:20:10 | s | semmle.label | s |
| main.rs:24:13:24:21 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:24:13:24:21 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:27:10:27:10 | c | semmle.label | c |
| main.rs:31:13:31:21 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:31:13:31:21 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:36:10:36:10 | b | semmle.label | b |
| main.rs:45:15:45:23 | (...) ... : unit | semmle.label | (...) ... : unit |
| main.rs:45:15:45:23 | source(...) : unit | semmle.label | source(...) : unit |
| main.rs:47:10:47:10 | b | semmle.label | b |
subpaths
testFailures
#select
| main.rs:15:10:15:18 | (...) ... | main.rs:15:10:15:18 | (...) ... | main.rs:15:10:15:18 | (...) ... | $@ | main.rs:15:10:15:18 | (...) ... | (...) ... |
| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | (...) ... : unit | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | (...) ... : unit | (...) ... : unit |
| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | (...) ... : unit | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | (...) ... : unit | (...) ... : unit |
| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | (...) ... : unit | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | (...) ... : unit | (...) ... : unit |
| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | (...) ... : unit | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | (...) ... : unit | (...) ... : unit |
| main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | main.rs:15:10:15:18 | source(...) | $@ | main.rs:15:10:15:18 | source(...) | source(...) |
| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | source(...) : unit | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | source(...) : unit | source(...) : unit |
| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | source(...) : unit | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | source(...) : unit | source(...) : unit |
| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | source(...) : unit | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | source(...) : unit | source(...) : unit |
| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | source(...) : unit | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | source(...) : unit | source(...) : unit |

530
rust/ql/test/library-tests/variables/Cfg.expected
View File

File diff suppressed because it is too large Load Diff

8
rust/ql/test/library-tests/variables/Ssa.expected
View File

@@ -125,7 +125,7 @@ definition
| variables.rs:436:9:436:13 | i | variables.rs:436:13:436:13 | i |
| variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block |
| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
| variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i |
| variables.rs:441:5:441:15 | await block | variables.rs:436:13:436:13 | i |
| variables.rs:445:8:445:8 | b | variables.rs:445:8:445:8 | b |
| variables.rs:446:9:446:13 | x | variables.rs:446:13:446:13 | x |
| variables.rs:449:5:457:5 | phi | variables.rs:446:13:446:13 | x |
@@ -242,7 +242,7 @@ read
| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
| variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
| variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
| variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:441:5:441:15 | await block | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:445:8:445:8 | b | variables.rs:445:8:445:8 | b | variables.rs:449:8:449:8 | b |
| variables.rs:446:9:446:13 | x | variables.rs:446:13:446:13 | x | variables.rs:447:15:447:15 | x |
| variables.rs:446:9:446:13 | x | variables.rs:446:13:446:13 | x | variables.rs:448:15:448:15 | x |
@@ -346,7 +346,7 @@ firstRead
| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
| variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
| variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
| variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:441:5:441:15 | await block | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:445:8:445:8 | b | variables.rs:445:8:445:8 | b | variables.rs:449:8:449:8 | b |
| variables.rs:446:9:446:13 | x | variables.rs:446:13:446:13 | x | variables.rs:447:15:447:15 | x |
| variables.rs:449:5:457:5 | phi | variables.rs:446:13:446:13 | x | variables.rs:458:15:458:15 | x |
@@ -446,7 +446,7 @@ lastRead
| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
| variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
| variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
| variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:441:5:441:15 | await block | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
| variables.rs:445:8:445:8 | b | variables.rs:445:8:445:8 | b | variables.rs:449:8:449:8 | b |
| variables.rs:446:9:446:13 | x | variables.rs:446:13:446:13 | x | variables.rs:448:15:448:15 | x |
| variables.rs:449:5:457:5 | phi | variables.rs:446:13:446:13 | x | variables.rs:458:15:458:15 | x |

470
rust/ql/test/library-tests/variables/variables.expected
View File

@@ -1,2 +1,468 @@
ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getCommentMarker (CommentImpl.qll:23,47-63)
ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getText (CommentImpl.qll:36,34-41)
testFailures
failures
variable
| variables.rs:3:14:3:14 | s |
| variables.rs:7:14:7:14 | i |
| variables.rs:11:18:11:18 | i |
| variables.rs:16:9:16:10 | x1 |
| variables.rs:21:13:21:14 | x2 |
| variables.rs:28:13:28:13 | x |
| variables.rs:35:9:35:10 | x3 |
| variables.rs:37:9:37:10 | x3 |
| variables.rs:43:9:43:10 | x4 |
| variables.rs:46:13:46:14 | x4 |
| variables.rs:60:13:60:14 | a1 |
| variables.rs:61:13:61:14 | b1 |
| variables.rs:64:13:64:13 | x |
| variables.rs:65:13:65:13 | y |
| variables.rs:75:9:75:10 | p1 |
| variables.rs:77:12:77:13 | a2 |
| variables.rs:78:12:78:13 | b2 |
| variables.rs:85:9:85:10 | s1 |
| variables.rs:87:21:87:22 | s2 |
| variables.rs:94:14:94:15 | x5 |
| variables.rs:102:9:102:10 | s1 |
| variables.rs:104:24:104:25 | s2 |
| variables.rs:111:9:111:10 | x6 |
| variables.rs:112:9:112:10 | y1 |
| variables.rs:116:14:116:15 | y1 |
| variables.rs:128:9:128:15 | numbers |
| variables.rs:132:13:132:17 | first |
| variables.rs:133:13:133:17 | third |
| variables.rs:134:13:134:17 | fifth |
| variables.rs:144:13:144:17 | first |
| variables.rs:146:13:146:16 | last |
| variables.rs:155:9:155:10 | p2 |
| variables.rs:159:16:159:17 | x7 |
| variables.rs:169:9:169:11 | msg |
| variables.rs:173:17:173:27 | id_variable |
| variables.rs:178:26:178:27 | id |
| variables.rs:189:9:189:14 | either |
| variables.rs:191:9:191:44 | a3 |
| variables.rs:203:9:203:10 | tv |
| variables.rs:205:9:205:81 | a4 |
| variables.rs:209:9:209:83 | a5 |
| variables.rs:213:9:213:83 | a6 |
| variables.rs:219:9:219:14 | either |
| variables.rs:221:9:221:44 | a7 |
| variables.rs:229:9:229:14 | either |
| variables.rs:232:13:232:13 | e |
| variables.rs:233:14:233:51 | a11 |
| variables.rs:236:33:236:35 | a12 |
| variables.rs:253:9:253:10 | fv |
| variables.rs:255:9:255:109 | a13 |
| variables.rs:261:5:261:6 | a8 |
| variables.rs:263:9:263:10 | b3 |
| variables.rs:264:9:264:10 | c1 |
| variables.rs:272:6:272:41 | a9 |
| variables.rs:279:13:279:15 | a10 |
| variables.rs:280:13:280:14 | b4 |
| variables.rs:281:13:281:14 | c2 |
| variables.rs:302:13:302:15 | a10 |
| variables.rs:303:13:303:14 | b4 |
| variables.rs:315:9:315:23 | example_closure |
| variables.rs:316:10:316:10 | x |
| variables.rs:318:9:318:10 | n1 |
| variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:324:10:324:10 | x |
| variables.rs:326:9:326:10 | n2 |
| variables.rs:332:9:332:9 | v |
| variables.rs:334:9:334:12 | text |
| variables.rs:341:13:341:13 | a |
| variables.rs:349:13:349:13 | i |
| variables.rs:350:9:350:13 | ref_i |
| variables.rs:356:17:356:17 | x |
| variables.rs:363:22:363:22 | x |
| variables.rs:363:39:363:39 | y |
| variables.rs:372:13:372:13 | x |
| variables.rs:373:9:373:9 | y |
| variables.rs:379:13:379:13 | z |
| variables.rs:380:9:380:9 | w |
| variables.rs:392:13:392:13 | x |
| variables.rs:393:9:393:9 | y |
| variables.rs:400:9:400:9 | x |
| variables.rs:402:9:402:11 | cap |
| variables.rs:410:13:410:13 | x |
| variables.rs:412:9:412:16 | closure1 |
| variables.rs:418:13:418:13 | y |
| variables.rs:420:13:420:20 | closure2 |
| variables.rs:426:13:426:13 | z |
| variables.rs:428:13:428:20 | closure3 |
| variables.rs:436:13:436:13 | i |
| variables.rs:437:9:437:13 | block |
| variables.rs:445:8:445:8 | b |
| variables.rs:446:13:446:13 | x |
| variables.rs:461:13:461:14 | b1 |
| variables.rs:461:24:461:25 | b2 |
| variables.rs:462:9:462:9 | x |
| variables.rs:488:13:488:13 | a |
| variables.rs:497:9:497:9 | x |
| variables.rs:501:9:501:9 | z |
| variables.rs:516:11:516:11 | a |
variableAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:29:20:29:20 | x | variables.rs:28:13:28:13 | x |
| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
| variables.rs:31:20:31:20 | x | variables.rs:28:13:28:13 | x |
| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
| variables.rs:342:5:342:5 | a | variables.rs:341:13:341:13 | a |
| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:344:11:344:11 | a | variables.rs:341:13:341:13 | a |
| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:351:14:351:14 | i | variables.rs:349:13:349:13 | i |
| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
| variables.rs:374:27:374:27 | x | variables.rs:372:13:372:13 | x |
| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
| variables.rs:381:19:381:19 | x | variables.rs:372:13:372:13 | x |
| variables.rs:383:14:383:14 | z | variables.rs:379:13:379:13 | z |
| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
| variables.rs:394:14:394:14 | x | variables.rs:392:13:392:13 | x |
| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
| variables.rs:441:5:441:9 | block | variables.rs:437:9:437:13 | block |
| variables.rs:442:15:442:15 | i | variables.rs:436:13:436:13 | i |
| variables.rs:447:15:447:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:448:15:448:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:449:8:449:8 | b | variables.rs:445:8:445:8 | b |
| variables.rs:450:9:450:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:451:19:451:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:452:19:452:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:454:9:454:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:455:19:455:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:456:19:456:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:458:15:458:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:463:8:463:9 | b1 | variables.rs:461:13:461:14 | b1 |
| variables.rs:464:19:464:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:466:19:466:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:469:8:469:9 | b2 | variables.rs:461:24:461:25 | b2 |
| variables.rs:470:19:470:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:489:15:489:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:490:5:490:5 | a | variables.rs:488:13:488:13 | a |
| variables.rs:491:15:491:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:492:5:492:5 | a | variables.rs:488:13:488:13 | a |
| variables.rs:493:15:493:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:498:20:498:20 | x | variables.rs:497:9:497:9 | x |
| variables.rs:499:15:499:15 | x | variables.rs:497:9:497:9 | x |
| variables.rs:502:20:502:20 | z | variables.rs:501:9:501:9 | z |
| variables.rs:517:3:517:3 | a | variables.rs:516:11:516:11 | a |
| variables.rs:519:13:519:13 | a | variables.rs:516:11:516:11 | a |
variableWriteAccess
| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
| variables.rs:450:9:450:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:454:9:454:9 | x | variables.rs:446:13:446:13 | x |
| variables.rs:492:5:492:5 | a | variables.rs:488:13:488:13 | a |
variableReadAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
| variables.rs:441:5:441:9 | block | variables.rs:437:9:437:13 | block |
| variables.rs:442:15:442:15 | i | variables.rs:436:13:436:13 | i |
| variables.rs:447:15:447:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:448:15:448:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:449:8:449:8 | b | variables.rs:445:8:445:8 | b |
| variables.rs:451:19:451:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:452:19:452:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:455:19:455:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:456:19:456:19 | x | variables.rs:446:13:446:13 | x |
| variables.rs:458:15:458:15 | x | variables.rs:446:13:446:13 | x |
| variables.rs:463:8:463:9 | b1 | variables.rs:461:13:461:14 | b1 |
| variables.rs:464:19:464:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:466:19:466:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:469:8:469:9 | b2 | variables.rs:461:24:461:25 | b2 |
| variables.rs:470:19:470:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
| variables.rs:489:15:489:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:490:5:490:5 | a | variables.rs:488:13:488:13 | a |
| variables.rs:491:15:491:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:493:15:493:15 | a | variables.rs:488:13:488:13 | a |
| variables.rs:499:15:499:15 | x | variables.rs:497:9:497:9 | x |
| variables.rs:517:3:517:3 | a | variables.rs:516:11:516:11 | a |
| variables.rs:519:13:519:13 | a | variables.rs:516:11:516:11 | a |
variableInitializer
| variables.rs:16:9:16:10 | x1 | variables.rs:16:14:16:16 | "a" |
| variables.rs:21:13:21:14 | x2 | variables.rs:21:18:21:18 | 4 |
| variables.rs:28:13:28:13 | x | variables.rs:28:17:28:17 | 1 |
| variables.rs:35:9:35:10 | x3 | variables.rs:35:14:35:14 | 1 |
| variables.rs:37:9:37:10 | x3 | variables.rs:38:9:38:14 | ... + ... |
| variables.rs:43:9:43:10 | x4 | variables.rs:43:14:43:16 | "a" |
| variables.rs:46:13:46:14 | x4 | variables.rs:46:18:46:20 | "b" |
| variables.rs:75:9:75:10 | p1 | variables.rs:75:14:75:37 | Point {...} |
| variables.rs:85:9:85:10 | s1 | variables.rs:85:14:85:41 | Some(...) |
| variables.rs:102:9:102:10 | s1 | variables.rs:102:14:102:41 | Some(...) |
| variables.rs:111:9:111:10 | x6 | variables.rs:111:14:111:20 | Some(...) |
| variables.rs:112:9:112:10 | y1 | variables.rs:112:14:112:15 | 10 |
| variables.rs:128:9:128:15 | numbers | variables.rs:128:19:128:35 | TupleExpr |
| variables.rs:155:9:155:10 | p2 | variables.rs:155:14:155:37 | Point {...} |
| variables.rs:169:9:169:11 | msg | variables.rs:169:15:169:38 | Message::Hello {...} |
| variables.rs:189:9:189:14 | either | variables.rs:189:18:189:33 | Either::Left(...) |
| variables.rs:203:9:203:10 | tv | variables.rs:203:14:203:36 | ThreeValued::Second(...) |
| variables.rs:219:9:219:14 | either | variables.rs:219:18:219:33 | Either::Left(...) |
| variables.rs:229:9:229:14 | either | variables.rs:229:18:229:33 | Either::Left(...) |
| variables.rs:253:9:253:10 | fv | variables.rs:253:14:253:35 | FourValued::Second(...) |
| variables.rs:315:9:315:23 | example_closure | variables.rs:316:9:317:9 | \|...\| x |
| variables.rs:318:9:318:10 | n1 | variables.rs:319:9:319:26 | example_closure(...) |
| variables.rs:323:9:323:26 | immutable_variable | variables.rs:324:9:325:9 | \|...\| x |
| variables.rs:326:9:326:10 | n2 | variables.rs:327:9:327:29 | immutable_variable(...) |
| variables.rs:332:9:332:9 | v | variables.rs:332:13:332:41 | &... |
| variables.rs:341:13:341:13 | a | variables.rs:341:17:341:17 | 0 |
| variables.rs:349:13:349:13 | i | variables.rs:349:17:349:17 | 1 |
| variables.rs:350:9:350:13 | ref_i | variables.rs:351:9:351:14 | &mut i |
| variables.rs:372:13:372:13 | x | variables.rs:372:17:372:17 | 2 |
| variables.rs:373:9:373:9 | y | variables.rs:374:9:374:28 | mutate_param(...) |
| variables.rs:379:13:379:13 | z | variables.rs:379:17:379:17 | 4 |
| variables.rs:380:9:380:9 | w | variables.rs:381:9:381:19 | &mut ... |
| variables.rs:392:13:392:13 | x | variables.rs:392:17:392:17 | 1 |
| variables.rs:393:9:393:9 | y | variables.rs:394:9:394:14 | &mut x |
| variables.rs:400:9:400:9 | x | variables.rs:400:13:400:15 | 100 |
| variables.rs:402:9:402:11 | cap | variables.rs:402:15:404:5 | \|...\| ... |
| variables.rs:410:13:410:13 | x | variables.rs:410:17:410:17 | 1 |
| variables.rs:412:9:412:16 | closure1 | variables.rs:412:20:414:5 | \|...\| ... |
| variables.rs:418:13:418:13 | y | variables.rs:418:17:418:17 | 2 |
| variables.rs:420:13:420:20 | closure2 | variables.rs:420:24:422:5 | \|...\| ... |
| variables.rs:426:13:426:13 | z | variables.rs:426:17:426:17 | 2 |
| variables.rs:428:13:428:20 | closure3 | variables.rs:428:24:430:5 | \|...\| ... |
| variables.rs:436:13:436:13 | i | variables.rs:436:22:436:22 | 0 |
| variables.rs:437:9:437:13 | block | variables.rs:437:17:439:5 | { ... } |
| variables.rs:446:13:446:13 | x | variables.rs:446:17:446:17 | 1 |
| variables.rs:462:9:462:9 | x | variables.rs:462:13:462:13 | 1 |
| variables.rs:488:13:488:13 | a | variables.rs:488:17:488:35 | MyStruct {...} |
| variables.rs:497:9:497:9 | x | variables.rs:497:13:497:14 | 16 |
| variables.rs:501:9:501:9 | z | variables.rs:501:13:501:14 | 17 |
| variables.rs:516:11:516:11 | a | variables.rs:516:15:516:33 | MyStruct {...} |
capturedVariable
| variables.rs:400:9:400:9 | x |
| variables.rs:410:13:410:13 | x |
| variables.rs:418:13:418:13 | y |
| variables.rs:426:13:426:13 | z |
| variables.rs:436:13:436:13 | i |
capturedAccess
| variables.rs:403:19:403:19 | x |
| variables.rs:413:19:413:19 | x |
| variables.rs:421:9:421:9 | y |
| variables.rs:429:9:429:9 | z |
| variables.rs:438:9:438:9 | i |

1
rust/ql/test/query-tests/diagnostics/CONSISTENCY/ExtractionConsistency.expected
View File

@@ -4,5 +4,4 @@ extractionWarning
| does_not_compile.rs:2:13:2:12 | expected SEMICOLON |
| does_not_compile.rs:2:21:2:20 | expected SEMICOLON |
| does_not_compile.rs:2:26:2:25 | expected SEMICOLON |
| does_not_compile.rs:2:32:2:31 | expected field name or number |
| error.rs:2:5:2:17 | An error! |

14
rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -3,17 +3,3 @@ uniqueEnclosingCallable
| main.rs:198:28:198:28 | x | Node should have one enclosing callable but has 0. |
| main.rs:202:28:202:28 | x | Node should have one enclosing callable but has 0. |
| main.rs:206:28:206:28 | x | Node should have one enclosing callable but has 0. |
uniqueNodeToString
| main.rs:205:32:205:32 | (no string representation) | Node should have one toString but has 0. |
| main.rs:219:9:219:13 | (no string representation) | Node should have one toString but has 0. |
| main.rs:224:9:224:13 | (no string representation) | Node should have one toString but has 0. |
| main.rs:424:21:424:23 | (no string representation) | Node should have one toString but has 0. |
| main.rs:424:26:424:28 | (no string representation) | Node should have one toString but has 0. |
| main.rs:427:21:427:23 | (no string representation) | Node should have one toString but has 0. |
| main.rs:427:26:427:28 | (no string representation) | Node should have one toString but has 0. |
| main.rs:430:21:430:23 | (no string representation) | Node should have one toString but has 0. |
| main.rs:430:26:430:28 | (no string representation) | Node should have one toString but has 0. |
| main.rs:434:21:434:23 | (no string representation) | Node should have one toString but has 0. |
| main.rs:434:26:434:28 | (no string representation) | Node should have one toString but has 0. |
| unreachable.rs:10:34:10:34 | (no string representation) | Node should have one toString but has 0. |
| unreachable.rs:230:13:230:17 | (no string representation) | Node should have one toString but has 0. |