Rust: Remove unnecessary line.

geoffw0 · geoffw0 · commit eb79bcbc34a1 · 2024-10-28T14:36:45.000Z
diff --git a/rust/ql/src/queries/unusedentities/UnreachableCode.ql b/rust/ql/src/queries/unusedentities/UnreachableCode.ql
@@ -28,8 +28,6 @@ predicate skipNode(AstNode n) {
   not succFull(_, n)
   or
   n instanceof ControlFlowGraphImpl::PostOrderTree // location is counter-intuitive
-  or
-  not n instanceof ControlFlowGraphImpl::ControlFlowTree // not expected to be reachable
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -28,8 +28,6 @@ predicate skipNode(AstNode n) {`
`28`	`28`	`not succFull(_, n)`
`29`	`29`	`or`
`30`	`30`	`n instanceof ControlFlowGraphImpl::PostOrderTree // location is counter-intuitive`
`31`		`- or`
`32`		`- not n instanceof ControlFlowGraphImpl::ControlFlowTree // not expected to be reachable`
`33`	`31`	`}`
`34`	`32`
`35`	`33`	`/**`