Skip to content

Commit cbde971

Browse files
committed
Fix skipCfg for parameter declaration identifiers
1 parent 1163e1f commit cbde971

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

go/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,9 @@ module CfgImpl {
6262
or
6363
e = any(Go::StructLit sl).getKey(_)
6464
or
65-
e instanceof Go::Ident and not e instanceof Go::ReferenceExpr
65+
e instanceof Go::Ident and
66+
not e instanceof Go::ReferenceExpr and
67+
not e = any(Go::Parameter p).getDeclaration()
6668
or
6769
e instanceof Go::SelectorExpr and not e instanceof Go::ReferenceExpr
6870
or

0 commit comments

Comments
 (0)