Merge pull request #9611 from MathiasVP/swift-nomagic-get-location

MathiasVP · web-flow · commit edf0be0854ca · 2022-06-20T10:42:45.000+01:00
Swift: Add `nomagic` to `getLocation`
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
