hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
C++: Fix bad magic on `Element.getFile`
This commit is contained in:
Jeroen Ketema
2025-10-03 01:21:32 +02:00
committed by GitHub
parent 218c2a59eb bc0b87632d
commit 7807804f4d
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
cpp/ql/lib/semmle/code/cpp/Element.qll
View File

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