Swift: fix parameter types in dataflow pruning

github · Oct 25, 2023 · 54605aa · 54605aa
1 parent 825ed30
commit 54605aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -419,7 +419,7 @@ private module ParameterNodes {
 
     override ParamDecl getParameter() { result = param }
 
-    override DataFlowType getTypeImpl() { result = param.getType() }
+    override DataFlowType getTypeImpl() { result = param.getType().getCanonicalType() }
   }
 
   class SummaryParameterNode extends ParameterNodeImpl, FlowSummaryNode {