C++: Dont allow magic in getUnspecifiedType.

MathiasVP · MathiasVP · commit 39c7816edea8 · 2021-04-29T10:09:46.000+02:00
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`	`/**`