Merge pull request #15689 from hvitved/ruby/no-field-branch-limit-summarized-callable

Ruby: No `fieldFlowBranchLimit` for `SummarizedCallable`s
This commit is contained in:
Tom Hvitved
2024-02-23 10:47:22 +01:00
committed by GitHub
3 changed files with 11 additions and 2 deletions

View File

@@ -31,4 +31,6 @@ module RubyDataFlow implements InputSig {
predicate mayBenefitFromCallContext = Private::mayBenefitFromCallContext/1;
predicate viableImplInCallContext = Private::viableImplInCallContext/2;
predicate ignoreFieldFlowBranchLimit(DataFlowCallable c) { exists(c.asLibraryCallable()) }
}