Merge pull request github#5803 from MathiasVP/no-magic-in-getUnspecifiedType

jbj · web-flow · commit c05ef1225c9c · 2021-05-03T09:03:58.000+02:00
C++: Add nomagic to getUnspecifiedType
diff --git a/cpp/ql/src/semmle/code/cpp/Type.qll b/cpp/ql/src/semmle/code/cpp/Type.qll
@@ -101,6 +101,7 @@ class Type extends Locatable, @type {
    *
    * For example, starting with `const i64* const` in the context of `typedef long long i64;`, this predicate will return `long long*`.
    */
+  pragma[nomagic]
   Type getUnspecifiedType() { unspecifiedtype(underlyingElement(this), unresolveElement(result)) }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -101,6 +101,7 @@ class Type extends Locatable, @type {`
`101`	`101`	`*`
`102`	`102`	* For example, starting with `const i64* const` in the context of `typedef long long i64;`, this predicate will return `long long*`.
`103`	`103`	`*/`
	`104`	`+ pragma[nomagic]`
`104`	`105`	`Type getUnspecifiedType() { unspecifiedtype(underlyingElement(this), unresolveElement(result)) }`
`105`	`106`
`106`	`107`	`/**`