From 01eabc8fcf90223d602fbb95ba67a8003662d03b Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Fri, 10 Jul 2026 10:48:39 +0100 Subject: [PATCH] Remove redundant inConditionalContext --- go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll | 5 ----- 1 file changed, 5 deletions(-) diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll index 7a4db67f273..e03a2581f17 100644 --- a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll +++ b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll @@ -427,11 +427,6 @@ module GoCfg { l = n.(Go::ContinueStmt).getLabel() } - predicate inConditionalContext(Ast::AstNode n, ConditionKind kind) { - kind.isBoolean() and - n = any(Go::ForStmt fs).getCond() - } - predicate preOrderExpr(Ast::Expr e) { // The call of a `defer` statement is not invoked at the statement // itself; its callee and arguments are evaluated in place, but the call