C#: Do not inline getLeafTypeAt

2026-04-28 18:25:24 +02:00 · 2021-07-15 15:41:16 +02:00
parent 7e4d761aa3
commit 4180528d02
1 changed files with 1 additions and 0 deletions
--- a/csharp/ql/src/semmle/code/csharp/Unification.qll
+++ b/csharp/ql/src/semmle/code/csharp/Unification.qll
@@ -485,6 +485,7 @@ module Gvn {
  /**
   * Gets the leaf GVN inside GVN `t`, by following the path `path`, if any.
   */
+  pragma[noinline]
  private GvnType getLeafTypeAt(GvnType t, TTypePath path) {
    result = getTypeAt(t, path) and
    not result instanceof ConstructedGvnType