We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6bde26d commit 3b1d917Copy full SHA for 3b1d917
rust/ql/src/queries/unusedentities/UnreachableCode.ql
@@ -15,9 +15,7 @@ import codeql.rust.controlflow.internal.ControlFlowGraphImpl as ControlFlowGraph
15
/**
16
* Holds if `n` is an AST node that's unreachable.
17
*/
18
-private predicate unreachable(AstNode n) {
19
- not n = any(CfgNode cfn).getAstNode()
20
-}
+private predicate unreachable(AstNode n) { not n = any(CfgNode cfn).getAstNode() }
21
22
23
* Holds if `n` is an AST node that's unreachable, and is not the successor
0 commit comments