Address review comment

hvitved · hvitved · commit 79620c1a890f · 2024-09-25T14:18:44.000+02:00
diff --git a/rust/ql/lib/codeql/rust/controlflow/internal/ControlFlowGraphImpl.qll b/rust/ql/lib/codeql/rust/controlflow/internal/ControlFlowGraphImpl.qll
@@ -73,7 +73,7 @@ class BecomeExprTree extends StandardPostOrderTree instanceof BecomeExpr {
 }
 
 class BinaryOpExprTree extends StandardPostOrderTree instanceof BinaryExpr {
-  BinaryOpExprTree() { not this instanceof LogicalOrExpr and not this instanceof LogicalAndExpr }
+  BinaryOpExprTree() { not this instanceof BinaryLogicalOperation }
 
   override ControlFlowTree getChildNode(int i) {
     i = 0 and result = super.getLhs()

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ class BecomeExprTree extends StandardPostOrderTree instanceof BecomeExpr {`
`73`	`73`	`}`
`74`	`74`
`75`	`75`	`class BinaryOpExprTree extends StandardPostOrderTree instanceof BinaryExpr {`
`76`		`- BinaryOpExprTree() { not this instanceof LogicalOrExpr and not this instanceof LogicalAndExpr }`
	`76`	`+ BinaryOpExprTree() { not this instanceof BinaryLogicalOperation }`
`77`	`77`
`78`	`78`	`override ControlFlowTree getChildNode(int i) {`
`79`	`79`	`i = 0 and result = super.getLhs()`