temp

hvitved · hvitved · commit 705243be30e1 · 2024-02-21T13:39:11.000+01:00
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -3255,7 +3255,12 @@ module MakeImpl<InputSig Lang> {
           then t = nt
           else (
             compatibleTypes(nt, t0) and
-            t = t0
+            // t = t0
+            if inSummaryCtx = true and node instanceof ParamNodeEx
+            then
+              t = nt and
+              compatibleTypes(origT, t)
+            else t = t0
           )
         )
       else t = t0

Original file line number	Diff line number	Diff line change
`@@ -3255,7 +3255,12 @@ module MakeImpl<InputSig Lang> {`
`3255`	`3255`	`then t = nt`
`3256`	`3256`	`else (`
`3257`	`3257`	`compatibleTypes(nt, t0) and`
`3258`		`- t = t0`
	`3258`	`+ // t = t0`
	`3259`	`+ if inSummaryCtx = true and node instanceof ParamNodeEx`
	`3260`	`+ then`
	`3261`	`+ t = nt and`
	`3262`	`+ compatibleTypes(origT, t)`
	`3263`	`+ else t = t0`
`3259`	`3264`	`)`
`3260`	`3265`	`)`
`3261`	`3266`	`else t = t0`