Ruby: Reintroduce old Argument[_] restriction to avoid large Cartesian product

This commit is contained in:
Tom Hvitved
2021-12-22 11:37:01 +01:00
parent d196c77b3d
commit 4133eb15d5

View File

@@ -250,7 +250,7 @@ private module Cached {
TPositionalParameterPosition(int pos) {
pos = any(Parameter p).getPosition()
or
exists(Call c | exists(c.getArgument(pos))) // TODO: remove once `Argument[_]` summaries are replaced with `Argument[i..]`
pos in [0 .. 10] // TODO: remove once `Argument[_]` summaries are replaced with `Argument[i..]`
or
FlowSummaryImplSpecific::ParsePositions::isParsedArgumentPosition(_, pos)
} or