Go/DivideByZero

d10c · d10c · commit 87ce654b3466 · 2025-10-08T13:43:24.000+02:00
diff --git a/go/ql/src/experimental/CWE-369/DivideByZero.ql b/go/ql/src/experimental/CWE-369/DivideByZero.ql
@@ -47,8 +47,6 @@ module Config implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
-
-  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -47,8 +47,6 @@ module Config implements DataFlow::ConfigSig {`
`47`	`47`	`}`
`48`	`48`
`49`	`49`	`predicate observeDiffInformedIncrementalMode() { any() }`
`50`		`-`
`51`		`- Location getASelectedSourceLocation(DataFlow::Node sink) { none() }`
`52`	`50`	`}`
`53`	`51`
`54`	`52`	`/**`