Merge pull request #2979 from jbj/GVN-noinline

C++: pragma[noinline] on GVN charpred
2025-12-24 04:36:35 +01:00 · 2020-03-04 12:19:27 +01:00
parent c4b961c8af 60bcbf477a
commit b20afa6370
1 changed files with 1 additions and 0 deletions
--- 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())