Fix accidental extra overlay informed.

alexet · alexet · commit 8c658a215ed3 · 2025-09-12T18:33:17.000+01:00
diff --git a/shared/dataflow/codeql/dataflow/TaintTracking.qll b/shared/dataflow/codeql/dataflow/TaintTracking.qll
@@ -175,9 +175,7 @@ module TaintFlowMake<
         Config::isAdditionalFlowStep(node1, node2) and model = "Config"
       }
 
-      predicate observeOverlayInformedIncrementalMode() {
-        not Config::observeDiffInformedIncrementalMode()
-      }
+      predicate observeOverlayInformedIncrementalMode() { none() }
     }
 
     private module C implements DataFlowInternal::FullStateConfigSig {

Original file line number	Diff line number	Diff line change
`@@ -175,9 +175,7 @@ module TaintFlowMake<`
`175`	`175`	`Config::isAdditionalFlowStep(node1, node2) and model = "Config"`
`176`	`176`	`}`
`177`	`177`
`178`		`- predicate observeOverlayInformedIncrementalMode() {`
`179`		`- not Config::observeDiffInformedIncrementalMode()`
`180`		`- }`
	`178`	`+ predicate observeOverlayInformedIncrementalMode() { none() }`
`181`	`179`	`}`
`182`	`180`
`183`	`181`	`private module C implements DataFlowInternal::FullStateConfigSig {`