Skip to content

Commit 4180528

Browse files
committed
C#: Do not inline getLeafTypeAt
1 parent 7e4d761 commit 4180528

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

csharp/ql/src/semmle/code/csharp/Unification.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -485,6 +485,7 @@ module Gvn {
485485
/**
486486
* Gets the leaf GVN inside GVN `t`, by following the path `path`, if any.
487487
*/
488+
pragma[noinline]
488489
private GvnType getLeafTypeAt(GvnType t, TTypePath path) {
489490
result = getTypeAt(t, path) and
490491
not result instanceof ConstructedGvnType

0 commit comments

Comments
 (0)