From 6fdc602c55797e811713c209fc541881b5ac0a74 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Wed, 20 May 2026 10:40:13 +0100 Subject: [PATCH] Add `pragma[nomagic]` to `hasBuildConstraints` --- go/ql/lib/semmle/go/Files.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/go/ql/lib/semmle/go/Files.qll b/go/ql/lib/semmle/go/Files.qll index ab4e2e084ed0..c058de37de47 100644 --- a/go/ql/lib/semmle/go/Files.qll +++ b/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()) } /**