From 3790c4eb4d6644aeef01886ec3481283f9bc89b0 Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Wed, 13 Apr 2022 16:13:51 +0100
Subject: [PATCH] Control flow for generic function instantiations

---
 ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
index 743b8e4fae6..25137f75a96 100644
--- a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
+++ b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -698,6 +698,10 @@ module CFG {
       not this.(SelectorExpr).getBase() instanceof ValueExpr and
       nd = mkExprOrSkipNode(this) and
       cmpl = Done()
+      or
+      this instanceof GenericFunctionInstantiationExpr and
+      nd = MkExprNode(this) and
+      cmpl = Done()
     }
 
     override predicate firstNode(ControlFlow::Node first) { first = nd }