Update shared library files for go to PR github#10007

owen-mc · owen-mc · commit f05da69392a2 · 2022-11-29T16:14:54.000Z
Merge commit: a3fb54c
diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll
@@ -3061,7 +3061,7 @@ private class PathNodeMid extends PathNodeImpl, TPathNodeMid {
       else cc instanceof CallContextAny
     ) and
     sc instanceof SummaryCtxNone and
-    ap instanceof AccessPathNil
+    ap = TAccessPathNil(node.getDataFlowType())
   }
 
   predicate isAtSink() {
diff --git a/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll b/go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll
@@ -3061,7 +3061,7 @@ private class PathNodeMid extends PathNodeImpl, TPathNodeMid {
       else cc instanceof CallContextAny
     ) and
     sc instanceof SummaryCtxNone and
-    ap instanceof AccessPathNil
+    ap = TAccessPathNil(node.getDataFlowType())
   }
 
   predicate isAtSink() {

Original file line number	Diff line number	Diff line change
`@@ -3061,7 +3061,7 @@ private class PathNodeMid extends PathNodeImpl, TPathNodeMid {`
`3061`	`3061`	`else cc instanceof CallContextAny`
`3062`	`3062`	`) and`
`3063`	`3063`	`sc instanceof SummaryCtxNone and`
`3064`		`- ap instanceof AccessPathNil`
	`3064`	`+ ap = TAccessPathNil(node.getDataFlowType())`
`3065`	`3065`	`}`
`3066`	`3066`
`3067`	`3067`	`predicate isAtSink() {`