Swift: Add 'nomagic' to 'getLocation'.

MathiasVP · MathiasVP · commit 068ac2b80e77 · 2022-06-20T09:41:06.000+01:00
diff --git a/swift/ql/lib/codeql/swift/elements/Locatable.qll b/swift/ql/lib/codeql/swift/elements/Locatable.qll
@@ -1,6 +1,7 @@
 private import codeql.swift.generated.Locatable
 
 class Locatable extends LocatableBase {
+  pragma[nomagic]
   override Location getLocation() {
     result = LocatableBase.super.getLocation()
     or
