github
diff --git a/‎shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll‎
Lines changed: 1 addition & 1 deletion b/‎shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll‎
Lines changed: 1 addition & 1 deletion
@@ -2528,7 +2528,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
                 )
               }
 
-              private int slack() { result = 0 }
+              private int slack() { result = 15 }
 
               predicate nearShortestDirectReach(PathNodeImpl n) {
                 directReach(n) and
Original file line number	Diff line number	Diff line change
`@@ -2528,7 +2528,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`2528`	`2528`	`)`
`2529`	`2529`	`}`
`2530`	`2530`
`2531`		`- private int slack() { result = 0 }`
	`2531`	`+ private int slack() { result = 15 }`
`2532`	`2532`
`2533`	`2533`	`predicate nearShortestDirectReach(PathNodeImpl n) {`
`2534`	`2534`	`directReach(n) and`