C++: Apply review suggestion

jketema · jketema · commit 2e33a4287f90 · 2025-01-24T16:12:16.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/UserType.qll b/cpp/ql/lib/semmle/code/cpp/UserType.qll
@@ -47,6 +47,7 @@ class UserType extends Type, Declaration, NameQualifyingElement, AccessHolder, @
     else result = this.getADeclarationLocation()
   }
 
+  pragma[nomagic]
   private TypeDeclarationEntry getADeclarationEntryBase() {
     type_decls(underlyingElement(result), unresolveElement(this), _)
   }

Original file line number	Diff line number	Diff line change
`@@ -47,6 +47,7 @@ class UserType extends Type, Declaration, NameQualifyingElement, AccessHolder, @`
`47`	`47`	`else result = this.getADeclarationLocation()`
`48`	`48`	`}`
`49`	`49`
	`50`	`+ pragma[nomagic]`
`50`	`51`	`private TypeDeclarationEntry getADeclarationEntryBase() {`
`51`	`52`	`type_decls(underlyingElement(result), unresolveElement(this), _)`
`52`	`53`	`}`