C#: Adjust the empty location to point to the unique generated empty location.

michaelnebel · michaelnebel · commit efbbdcb82e2a · 2025-09-22T14:14:21.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/Location.qll b/csharp/ql/lib/semmle/code/csharp/Location.qll
@@ -75,7 +75,7 @@ class Location extends @location {
 
 /** An empty location. */
 class EmptyLocation extends Location {
-  EmptyLocation() { this.hasLocationInfo("", 0, 0, 0, 0) }
+  EmptyLocation() { this.hasLocationInfo("", -1, -1, -1, -1) }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -75,7 +75,7 @@ class Location extends @location {`
`75`	`75`
`76`	`76`	`/** An empty location. */`
`77`	`77`	`class EmptyLocation extends Location {`
`78`		`- EmptyLocation() { this.hasLocationInfo("", 0, 0, 0, 0) }`
	`78`	`+ EmptyLocation() { this.hasLocationInfo("", -1, -1, -1, -1) }`
`79`	`79`	`}`
`80`	`80`
`81`	`81`	`/**`