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

Merge pull request #17921 from paldepind/rust-df-enclosing-callable

Browse Source 
Rust: Implement enclosing callable
This commit is contained in:
Simon Friis Vindum
2024-11-08 10:36:59 +01:00
committed by GitHub
parent 39b2d2c3d8 22835c28ff
commit f2569c45a9
16 changed files with 120 additions and 152 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll
View File

@@ -5,6 +5,7 @@
private import rust
private import ControlFlowGraph
private import internal.ControlFlowGraphImpl
/** A CFG node that corresponds to an element in the AST. */
class AstCfgNode extends CfgNode {
@@ -20,3 +21,10 @@ class ExprCfgNode extends AstCfgNode {
/** Gets the underlying expression. */
Expr getExpr() { result = node }
}
/** A CFG node that corresponds to a call in the AST. */
class CallCfgNode extends ExprCfgNode {
override CallExpr node;
}
final class ExitCfgNode = ExitNode;

132
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
View File

@@ -12,6 +12,65 @@ private import codeql.rust.controlflow.ControlFlowGraph
private import codeql.rust.controlflow.CfgNodes
private import codeql.rust.dataflow.Ssa
private newtype TReturnKind = TNormalReturnKind()
/**
* A return kind. A return kind describes how a value can be returned from a
* callable.
*
* The only return kind is a "normal" return from a `return` statement or an
* expression body.
*/
final class ReturnKind extends TNormalReturnKind {
string toString() { result = "return" }
}
/**
* A callable. This includes callables from source code, as well as callables
* defined in library code.
*/
final class DataFlowCallable extends TDataFlowCallable {
/**
* Gets the underlying CFG scope, if any.
*/
CfgScope asCfgScope() { this = TCfgScope(result) }
/** Gets a textual representation of this callable. */
string toString() { result = this.asCfgScope().toString() }
/** Gets the location of this callable. */
Location getLocation() { result = this.asCfgScope().getLocation() }
}
abstract class DataFlowCall extends TDataFlowCall {
/** Gets the enclosing callable. */
abstract DataFlowCallable getEnclosingCallable();
/** Gets the underlying source code call, if any. */
abstract CallCfgNode asCall();
/** Gets a textual representation of this call. */
abstract string toString();
/** Gets the location of this call. */
abstract Location getLocation();
}
final class NormalCall extends DataFlowCall, TNormalCall {
private CallCfgNode c;
NormalCall() { this = TNormalCall(c) }
/** Gets the underlying call in the CFG, if any. */
override CallCfgNode asCall() { result = c }
override DataFlowCallable getEnclosingCallable() { none() }
override string toString() { result = c.toString() }
override Location getLocation() { result = c.getLocation() }
}
module Node {
/**
* An element, viewed as a node in a data flow graph. Either an expression
@@ -29,6 +88,12 @@ module Node {
*/
Expr asExpr() { none() }
/** Gets the enclosing callable. */
DataFlowCallable getEnclosingCallable() { result = TCfgScope(this.getCfgScope()) }
/** Do not call: use `getEnclosingCallable()` instead. */
abstract CfgScope getCfgScope();
/**
* Gets the control flow node that corresponds to this data flow node.
*/
@@ -49,6 +114,8 @@ module Node {
final class NaNode extends Node {
NaNode() { none() }
override CfgScope getCfgScope() { none() }
override string toString() { result = "N/A" }
override Location getLocation() { none() }
@@ -62,11 +129,13 @@ module Node {
* to multiple `ExprNode`s, just like it may correspond to multiple
* `ControlFlow::Node`s.
*/
final class ExprNode extends Node, TExprNode {
class ExprNode extends Node, TExprNode {
ExprCfgNode n;
ExprNode() { this = TExprNode(n) }
override CfgScope getCfgScope() { result = this.asExpr().getEnclosingCallable() }
override Location getLocation() { result = n.getExpr().getLocation() }
override string toString() { result = n.getExpr().toString() }
@@ -85,6 +154,8 @@ module Node {
ParameterNode() { this = TParameterNode(parameter) }
override CfgScope getCfgScope() { result = parameter.getEnclosingCallable() }
override Location getLocation() { result = parameter.getLocation() }
override string toString() { result = parameter.toString() }
@@ -105,6 +176,8 @@ module Node {
def = node.getDefinitionExt()
}
override CfgScope getCfgScope() { result = def.getBasicBlock().getScope() }
SsaImpl::DefinitionExt getDefinitionExt() { result = def }
/** Holds if this node should be hidden from path explanations. */
@@ -115,11 +188,25 @@ module Node {
override string toString() { result = node.toString() }
}
final class ReturnNode extends NaNode {
RustDataFlow::ReturnKind getKind() { none() }
/** A data flow node that represents a value returned by a callable. */
final class ReturnNode extends ExprNode {
ReturnNode() { this.getCfgNode().getASuccessor() instanceof ExitCfgNode }
ReturnKind getKind() { any() }
}
final class OutNode = NaNode;
/** A data-flow node that represents the output of a call. */
abstract class OutNode extends Node, ExprNode {
/** Gets the underlying call for this node. */
abstract DataFlowCall getCall();
}
final private class ExprOutNode extends OutNode {
ExprOutNode() { this.asExpr() instanceof CallExpr }
/** Gets the underlying call CFG node that includes this out node. */
override DataFlowCall getCall() { result.(NormalCall).asCall() = this.getCfgNode() }
}
/**
* A node associated with an object after an operation that might have
@@ -198,6 +285,12 @@ module LocalFlow {
}
}
private class DataFlowCallableAlias = DataFlowCallable;
private class ReturnKindAlias = ReturnKind;
private class DataFlowCallAlias = DataFlowCall;
module RustDataFlow implements InputSig<Location> {
/**
* An element, viewed as a node in a data flow graph. Either an expression
@@ -221,7 +314,7 @@ module RustDataFlow implements InputSig<Location> {
predicate isArgumentNode(ArgumentNode n, DataFlowCall call, ArgumentPosition pos) { none() }
DataFlowCallable nodeGetEnclosingCallable(Node node) { none() }
DataFlowCallable nodeGetEnclosingCallable(Node node) { result = node.getEnclosingCallable() }
DataFlowType getNodeType(Node node) { any() }
@@ -232,26 +325,22 @@ module RustDataFlow implements InputSig<Location> {
/** Gets the node corresponding to `e`. */
Node exprNode(DataFlowExpr e) { result.getCfgNode() = e }
final class DataFlowCall extends TNormalCall {
private CallExpr c;
final class DataFlowCall = DataFlowCallAlias;
DataFlowCall() { this = TNormalCall(c) }
final class DataFlowCallable = DataFlowCallableAlias;
DataFlowCallable getEnclosingCallable() { none() }
string toString() { result = c.toString() }
Location getLocation() { result = c.getLocation() }
}
final class DataFlowCallable = CfgScope;
final class ReturnKind = Void;
final class ReturnKind = ReturnKindAlias;
/** Gets a viable implementation of the target of the given `Call`. */
DataFlowCallable viableCallable(DataFlowCall c) { none() }
OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) { none() }
/**
* Gets a node that can read the value returned from `call` with return kind
* `kind`.
*/
OutNode getAnOutNode(DataFlowCall call, ReturnKind kind) {
call = result.getCall() and exists(kind)
}
// NOTE: For now we use the type `Unit` and do not benefit from type
// information in the data flow analysis.
@@ -400,7 +489,7 @@ private module Cached {
TSsaNode(SsaImpl::DataFlowIntegration::SsaNode node)
cached
newtype TDataFlowCall = TNormalCall(CallExpr c)
newtype TDataFlowCall = TNormalCall(CallCfgNode c)
cached
newtype TOptionalContentSet =
@@ -410,6 +499,9 @@ private module Cached {
cached
class TContentSet = TAnyElementContent or TAnyContent;
cached
newtype TDataFlowCallable = TCfgScope(CfgScope scope)
/** This is the local flow predicate that is exposed. */
cached
predicate localFlowStepImpl(Node::Node nodeFrom, Node::Node nodeTo) {

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

@@ -1,5 +1,2 @@
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. |

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

@@ -1,7 +0,0 @@
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. |

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

@@ -1,3 +1,2 @@
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. |

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

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

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

@@ -1,4 +1,2 @@
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. |

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

@@ -1,3 +1,2 @@
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. |

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

@@ -1,6 +1,3 @@
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. |
uniqueNodeLocation
| file://:0:0:0:0 | BlockExpr | Node should have one location but has 0. |
| file://:0:0:0:0 | MethodCallExpr | Node should have one location but has 0. |

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

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

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

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

47
rust/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -1,51 +1,4 @@
uniqueEnclosingCallable
| test.rs:18:32:18:37 | Param | Node should have one enclosing callable but has 0. |
| test.rs:36:31:36:37 | Param | Node should have one enclosing callable but has 0. |
| test.rs:50:34:50:40 | Param | Node should have one enclosing callable but has 0. |
| test.rs:64:34:64:40 | Param | Node should have one enclosing callable but has 0. |
| test.rs:78:19:78:24 | Param | Node should have one enclosing callable but has 0. |
| test.rs:98:17:98:22 | Param | Node should have one enclosing callable but has 0. |
| test.rs:114:25:114:30 | Param | Node should have one enclosing callable but has 0. |
| test.rs:115:20:115:20 | Param | Node should have one enclosing callable but has 0. |
| test.rs:121:21:121:26 | Param | Node should have one enclosing callable but has 0. |
| test.rs:129:25:129:38 | Param | Node should have one enclosing callable but has 0. |
| test.rs:137:20:137:33 | Param | Node should have one enclosing callable but has 0. |
| test.rs:144:23:144:28 | Param | Node should have one enclosing callable but has 0. |
| test.rs:152:29:152:34 | Param | Node should have one enclosing callable but has 0. |
| test.rs:163:29:163:34 | Param | Node should have one enclosing callable but has 0. |
| test.rs:174:27:174:32 | Param | Node should have one enclosing callable but has 0. |
| test.rs:183:22:183:27 | Param | Node should have one enclosing callable but has 0. |
| test.rs:196:22:196:27 | Param | Node should have one enclosing callable but has 0. |
| test.rs:209:28:209:33 | Param | Node should have one enclosing callable but has 0. |
| test.rs:222:26:222:32 | Param | Node should have one enclosing callable but has 0. |
| test.rs:222:35:222:41 | Param | Node should have one enclosing callable but has 0. |
| test.rs:222:44:222:50 | Param | Node should have one enclosing callable but has 0. |
| test.rs:227:25:227:31 | Param | Node should have one enclosing callable but has 0. |
| test.rs:227:34:227:40 | Param | Node should have one enclosing callable but has 0. |
| test.rs:227:43:227:49 | Param | Node should have one enclosing callable but has 0. |
| test.rs:232:27:232:33 | Param | Node should have one enclosing callable but has 0. |
| test.rs:232:36:232:41 | Param | Node should have one enclosing callable but has 0. |
| test.rs:232:44:232:50 | Param | Node should have one enclosing callable but has 0. |
| test.rs:237:26:237:32 | Param | Node should have one enclosing callable but has 0. |
| test.rs:242:29:242:35 | Param | Node should have one enclosing callable but has 0. |
| test.rs:242:38:242:43 | Param | Node should have one enclosing callable but has 0. |
| test.rs:242:46:242:52 | Param | Node should have one enclosing callable but has 0. |
| test.rs:250:28:250:34 | Param | Node should have one enclosing callable but has 0. |
| test.rs:250:37:250:42 | Param | Node should have one enclosing callable but has 0. |
| test.rs:250:45:250:51 | Param | Node should have one enclosing callable but has 0. |
| test.rs:258:29:258:35 | Param | Node should have one enclosing callable but has 0. |
| test.rs:269:38:269:44 | Param | Node should have one enclosing callable but has 0. |
| test.rs:273:38:273:52 | Param | Node should have one enclosing callable but has 0. |
| test.rs:283:19:283:42 | Param | Node should have one enclosing callable but has 0. |
| test.rs:291:44:291:67 | Param | Node should have one enclosing callable but has 0. |
| test.rs:302:23:302:32 | Param | Node should have one enclosing callable but has 0. |
| test.rs:302:35:302:48 | Param | Node should have one enclosing callable but has 0. |
| test.rs:309:35:309:58 | Param | Node should have one enclosing callable but has 0. |
| test.rs:319:23:319:36 | Param | Node should have one enclosing callable but has 0. |
| test.rs:324:29:324:42 | Param | Node should have one enclosing callable but has 0. |
| test.rs:335:28:335:35 | Param | Node should have one enclosing callable but has 0. |
| test.rs:342:29:342:40 | Param | Node should have one enclosing callable but has 0. |
| test.rs:401:15:401:25 | Param | Node should have one enclosing callable but has 0. |
| test.rs:408:16:408:19 | Param | Node should have one enclosing callable but has 0. |
uniqueCallEnclosingCallable
| test.rs:6:9:6:44 | CallExpr | Call should have one enclosing callable but has 0. |

3
rust/ql/test/library-tests/dataflow/barrier/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -1,6 +1,3 @@
uniqueEnclosingCallable
| main.rs:5:9:5:15 | Param | Node should have one enclosing callable but has 0. |
| main.rs:9:13:9:19 | Param | Node should have one enclosing callable but has 0. |
uniqueCallEnclosingCallable
| main.rs:6:14:6:20 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:17:13:17:20 | CallExpr | Call should have one enclosing callable but has 0. |

5
rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -1,8 +1,3 @@
uniqueEnclosingCallable
| main.rs:6:18:6:27 | Param | Node should have one enclosing callable but has 0. |
| main.rs:31:21:31:26 | Param | Node should have one enclosing callable but has 0. |
| main.rs:31:29:31:34 | Param | Node should have one enclosing callable but has 0. |
| main.rs:31:37:31:50 | Param | Node should have one enclosing callable but has 0. |
uniqueCallEnclosingCallable
| main.rs:3:14:3:33 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:39:5:39:14 | CallExpr | Call should have one enclosing callable but has 0. |

15
rust/ql/test/library-tests/variables/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -1,18 +1,3 @@
uniqueEnclosingCallable
| variables.rs:3:14:3:20 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:7:14:7:19 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:11:18:11:24 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:261:5:261:12 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:262:5:265:19 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:272:5:272:50 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:316:10:316:15 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:324:10:324:15 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:356:17:356:28 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:363:22:363:36 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:363:39:363:57 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:435:8:435:15 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:451:13:451:21 | Param | Node should have one enclosing callable but has 0. |
| variables.rs:451:24:451:32 | Param | Node should have one enclosing callable but has 0. |
uniqueCallEnclosingCallable
| variables.rs:4:14:4:20 | CallExpr | Call should have one enclosing callable but has 0. |
| variables.rs:8:14:8:20 | CallExpr | Call should have one enclosing callable but has 0. |

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

@@ -1,29 +1,9 @@
uniqueEnclosingCallable
| main.rs:140:5:140:10 | Param | Node should have one enclosing callable but has 0. |
| main.rs:141:5:141:10 | Param | Node should have one enclosing callable but has 0. |
| main.rs:142:5:142:11 | Param | Node should have one enclosing callable but has 0. |
| main.rs:149:7:149:12 | Param | Node should have one enclosing callable but has 0. |
| main.rs:382:19:382:21 | Param | Node should have one enclosing callable but has 0. |
| main.rs:384:14:384:19 | Param | Node should have one enclosing callable but has 0. |
| main.rs:411:21:411:28 | Param | Node should have one enclosing callable but has 0. |
| main.rs:411:31:411:38 | Param | Node should have one enclosing callable but has 0. |
| main.rs:414:21:414:23 | Param | Node should have one enclosing callable but has 0. |
| main.rs:414:26:414:28 | Param | Node should have one enclosing callable but has 0. |
| main.rs:417:21:417:23 | Param | Node should have one enclosing callable but has 0. |
| main.rs:417:26:417:28 | Param | Node should have one enclosing callable but has 0. |
| main.rs:420:21:420:23 | Param | Node should have one enclosing callable but has 0. |
| main.rs:420:26:420:28 | Param | Node should have one enclosing callable but has 0. |
| main.rs:424:21:424:23 | Param | Node should have one enclosing callable but has 0. |
| main.rs:424:26:424:28 | Param | Node should have one enclosing callable but has 0. |
| main.rs:430:29:430:38 | Param | Node should have one enclosing callable but has 0. |
| main.rs:430:41:430:56 | Param | Node should have one enclosing callable but has 0. |
| main.rs:440:9:440:18 | Param | Node should have one enclosing callable but has 0. |
| main.rs:441:9:441:24 | Param | Node should have one enclosing callable but has 0. |
| more.rs:4:23:4:28 | Param | Node should have one enclosing callable but has 0. |
| more.rs:8:19:8:24 | Param | Node should have one enclosing callable but has 0. |
| more.rs:16:23:16:28 | Param | Node should have one enclosing callable but has 0. |
| more.rs:24:9:24:14 | Param | Node should have one enclosing callable but has 0. |
| unreachable.rs:10:34:10:34 | Param | Node should have one enclosing callable but has 0. |
uniqueCallEnclosingCallable
| main.rs:11:13:11:29 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:12:13:12:29 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -112,17 +92,13 @@ uniqueCallEnclosingCallable
| unreachable.rs:2:5:2:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:6:5:6:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:10:5:10:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:19:9:19:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:21:9:21:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:25:9:25:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:27:9:27:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:30:13:30:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:33:13:33:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:37:8:37:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:39:9:39:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:42:8:42:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:43:9:43:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:46:9:46:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:48:5:48:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:50:8:50:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:51:17:51:22 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -130,7 +106,6 @@ uniqueCallEnclosingCallable
| unreachable.rs:56:17:56:30 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:58:13:58:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:62:8:62:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:67:5:67:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:71:8:71:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:72:9:72:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:73:16:73:25 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -157,7 +132,6 @@ uniqueCallEnclosingCallable
| unreachable.rs:111:8:111:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:112:9:112:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:115:9:115:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -165,7 +139,6 @@ uniqueCallEnclosingCallable
| unreachable.rs:120:8:120:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:121:9:121:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:124:9:124:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -174,36 +147,24 @@ uniqueCallEnclosingCallable
| unreachable.rs:136:13:136:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:139:5:139:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:141:11:141:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:149:5:149:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:154:9:154:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:156:9:156:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:159:8:159:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:160:15:160:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:161:13:161:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:165:13:165:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:169:13:169:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:171:9:171:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:175:12:175:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:177:13:177:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:179:9:179:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:183:12:183:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:185:13:185:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:188:5:188:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:189:5:189:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:190:5:190:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:198:22:198:41 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:199:9:199:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:202:9:202:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:205:5:205:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:207:16:207:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:209:9:209:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:212:9:212:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:215:5:215:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:219:19:219:38 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:220:9:220:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:224:5:224:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:226:13:226:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:228:9:228:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:232:5:232:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:236:8:236:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:237:9:237:22 | CallExpr | Call should have one enclosing callable but has 0. |