diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll b/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll index 2bb8315990a..90e9b4ef920 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll @@ -51,6 +51,7 @@ private import semmle.code.cpp.ir.IR * methods. */ class GVN extends TValueNumber { + pragma[noinline] GVN() { exists(Instruction instr | this = tvalueNumber(instr) and exists(instr.getUnconvertedResultExpression())