C++: Dont allow magic in getUnspecifiedType.

2026-04-28 02:05:14 +02:00 · 2021-04-29 10:09:46 +02:00
parent d288b9216e
commit 39c7816ede
1 changed files with 1 additions and 0 deletions
--- 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)) }

  /**