hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-06 15:49:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2024-10-08 13:30:28 +01:00
parent 6bde26d9fd
commit 3b1d917c2b
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/src/queries/unusedentities/UnreachableCode.ql
View File

@@ -15,9 +15,7 @@ import codeql.rust.controlflow.internal.ControlFlowGraphImpl as ControlFlowGraph
/**
* Holds if `n` is an AST node that's unreachable.
*/
private predicate unreachable(AstNode n) {
not n = any(CfgNode cfn).getAstNode()
}
private predicate unreachable(AstNode n) { not n = any(CfgNode cfn).getAstNode() }
/**
* Holds if `n` is an AST node that's unreachable, and is not the successor