Merge pull request #16597 from hvitved/tree-sitter/empty-location

Tree-sitter: Emit `empty_location` relation to avoid scan

ruby/downgrades/63af05c01bdd6a38f280e41ac0453db52f46989c/upgrade.properties

@@ -0,0 +1,3 @@
+description: Remove `empty_location` relation
+compatibility: backwards
+empty_location.rel: delete

ruby/ql/lib/codeql/Locations.qll

@@ -64,5 +64,5 @@ class Location extends @location_default {
 
 /** An entity representing an empty location. */
 class EmptyLocation extends Location {
-  EmptyLocation() { this.hasLocationInfo("", 0, 0, 0, 0) }
+  EmptyLocation() { empty_location(this) }
 }

ruby/ql/lib/ruby.dbscheme

@@ -36,6 +36,12 @@ containerparent(
   unique int child: @container ref
 );
 
+/*- Empty location -*/
+
+empty_location(
+  int location: @location_default ref
+);
+
 /*- Source location prefix -*/
 
 /**

ruby/ql/lib/upgrades/440de75c71e9206ce16eed49a22c76e7889b5fc3/empty_location.ql

@@ -0,0 +1,13 @@
+class EmptyFile extends @file {
+  EmptyFile() { files(this, "") }
+
+  string toString() { none() }
+}
+
+class Location extends @location_default {
+  string toString() { none() }
+}
+
+from EmptyFile f, Location l
+where locations_default(l, f, 0, 0, 0, 0)
+select l

ruby/ql/lib/upgrades/440de75c71e9206ce16eed49a22c76e7889b5fc3/upgrade.properties

@@ -0,0 +1,3 @@
+description: Add `empty_location` relation
+compatibility: backwards
+empty_location.rel: run empty_location.qlo