Rangeanalysis: Remove superfluous pragmas. These appear useless after the abolishment of the different delta orders.

aschackmull · aschackmull · commit c28f54a78b87 · 2023-11-13T10:35:44.000+01:00
diff --git a/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll b/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
@@ -807,11 +807,9 @@ module RangeStage<
     )
     or
     exists(D::Delta d, SemReason r1, SemReason r2 |
-      boundedSsa(pragma[only_bind_into](v), pragma[only_bind_into](b), pragma[only_bind_into](d),
-        pragma[only_bind_into](pos), upper, fromBackEdge, origdelta, r2)
+      boundedSsa(v, b, d, pos, upper, fromBackEdge, origdelta, r2)
       or
-      boundedPhi(pragma[only_bind_into](v), pragma[only_bind_into](b), pragma[only_bind_into](d),
-        upper, fromBackEdge, origdelta, r2)
+      boundedPhi(v, b, d, upper, fromBackEdge, origdelta, r2)
     |
       unequalIntegralSsa(v, b, d, pos, r1) and
       (

Original file line number	Diff line number	Diff line change
`@@ -807,11 +807,9 @@ module RangeStage<`
`807`	`807`	`)`
`808`	`808`	`or`
`809`	`809`	`exists(D::Delta d, SemReason r1, SemReason r2 \|`
`810`		`- boundedSsa(pragma[only_bind_into](v), pragma[only_bind_into](b), pragma[only_bind_into](d),`
`811`		`- pragma[only_bind_into](pos), upper, fromBackEdge, origdelta, r2)`
	`810`	`+ boundedSsa(v, b, d, pos, upper, fromBackEdge, origdelta, r2)`
`812`	`811`	`or`
`813`		`- boundedPhi(pragma[only_bind_into](v), pragma[only_bind_into](b), pragma[only_bind_into](d),`
`814`		`- upper, fromBackEdge, origdelta, r2)`
	`812`	`+ boundedPhi(v, b, d, upper, fromBackEdge, origdelta, r2)`
`815`	`813`	`\|`
`816`	`814`	`unequalIntegralSsa(v, b, d, pos, r1) and`
`817`	`815`	`(`