Merge pull request #19759 from d10c/d10c/cpp/diff-informed-2

d10c · web-flow · commit 9974f9e93b23 · 2025-06-19T14:44:04.000+02:00
C++: mass-enable diff-informed queries phase 2 - `getASelected{Source,Sink}Location() { none() }`
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-078/WordexpTainted.ql b/cpp/ql/src/experimental/Security/CWE/CWE-078/WordexpTainted.ql
@@ -50,6 +50,8 @@ module WordexpTaintConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
 }
 
 module WordexpTaint = TaintTracking::Global<WordexpTaintConfig>;

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,8 @@ module WordexpTaintConfig implements DataFlow::ConfigSig {`
`50`	`50`	`}`
`51`	`51`
`52`	`52`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`53`	`+`
	`54`	`+ Location getASelectedSourceLocation(DataFlow::Node source) { none() }`
`53`	`55`	`}`
`54`	`56`
`55`	`57`	`module WordexpTaint = TaintTracking::Global<WordexpTaintConfig>;`