Merge pull request #145 from microsoft/jb1/isLibraryFile-nomagic

MathiasVP · web-flow · commit 029fb0bcf267 · 2024-11-26T11:50:19.000Z
No magic on `ClassifyFiles::isLibraryFile`
diff --git a/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll b/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll
@@ -73,6 +73,7 @@ predicate isExternsFile(File f) {
 /**
  * Holds if `f` contains library code.
  */
+pragma[nomagic]
 predicate isLibraryFile(File f) { f.getATopLevel() instanceof FrameworkLibraryInstance }
 
 /**
