Merge pull request github#20573 from MathiasVP/fix-bad-magic-on-get-file

C++: Fix bad magic on `Element.getFile`

Author: jketema

cpp/ql/lib/semmle/code/cpp/Element.qll

@@ -87,6 +87,7 @@ class ElementBase extends @element {
  */
 class Element extends ElementBase {
   /** Gets the primary file where this element occurs. */
+  pragma[nomagic]
   File getFile() { result = this.getLocation().getFile() }
 
   /**