Add a consistency query

igfoo · igfoo · commit b2acb7d7a13c · 2022-05-10T18:45:51.000+01:00
diff --git a/java/ql/consistency-queries/locations.ql b/java/ql/consistency-queries/locations.ql
@@ -0,0 +1,21 @@
+import java
+
+// Locations should either be :0:0:0:0 locations (UnknownLocation, or
+// a whole file), or all 4 fields should be positive.
+Location badLocation() {
+  [result.getStartLine(), result.getEndLine(), result.getStartColumn(), result.getEndColumn()] != 0 and
+  [result.getStartLine(), result.getEndLine(), result.getStartColumn(), result.getEndColumn()] < 1
+}
+
+// The start should not be after the end.
+Location backwardsLocation() {
+  result.getStartLine() > result.getEndLine()
+  or
+  result.getStartLine() = result.getEndLine() and
+  result.getStartColumn() > result.getEndColumn()
+}
+
+from Location l
+where l = badLocation() or l = backwardsLocation()
+select l
+
