Create cfg node for child of ParenExpr

owen-mc · owen-mc · commit 39697ee971cf · 2026-05-14T00:22:22.000+01:00
diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll
@@ -62,7 +62,11 @@ module GoCfg {
     }
 
     AstNode getChild(AstNode n, int index) {
-      not skipCfg(result) and not skipCfg(n) and result = n.getChild(index)
+      not skipCfg(n) and
+      not skipCfg(result) and
+      exists(Go::AstNode c | c = n.getChild(index) |
+        if c instanceof Go::ParenExpr then result = c.(Go::ParenExpr).stripParens() else result = c
+      )
     }
 
     class Callable extends AstNode {

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,11 @@ module GoCfg {`
`62`	`62`	`}`
`63`	`63`
`64`	`64`	`AstNode getChild(AstNode n, int index) {`
`65`		`- not skipCfg(result) and not skipCfg(n) and result = n.getChild(index)`
	`65`	`+ not skipCfg(n) and`
	`66`	`+ not skipCfg(result) and`
	`67`	`+ exists(Go::AstNode c \| c = n.getChild(index) \|`
	`68`	`+ if c instanceof Go::ParenExpr then result = c.(Go::ParenExpr).stripParens() else result = c`
	`69`	`+ )`
`66`	`70`	`}`
`67`	`71`
`68`	`72`	`class Callable extends AstNode {`