Add pragma[nomagic] to hasBuildConstraints

Author: owen-mc

go/ql/lib/semmle/go/Files.qll

@@ -69,6 +69,7 @@ class ExtractedOrExternalFile extends Container, Impl::File, Documentable, ExprP
 
   /** Holds if this file contains at least one build constraint. */
   pragma[noinline]
+  pragma[nomagic]
   predicate hasBuildConstraints() { exists(BuildConstraintComment bc | this = bc.getFile()) }
 
   /**