Merge pull request #13422 from asgerf/rb/map_filter

Ruby: fix bug in filter_map summary
This commit is contained in:
Asger F
2023-06-13 09:43:47 +02:00
committed by GitHub
5 changed files with 6224 additions and 6184 deletions

View File

@@ -2067,7 +2067,11 @@ module Enumerable {
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
input = "Argument[self].Element[any]" and
output = ["Argument[block].Parameter[0]", "ReturnValue.Element[?]"] and
output = "Argument[block].Parameter[0]" and
preservesValue = true
or
input = "Argument[block].ReturnValue" and
output = "ReturnValue.Element[?]" and
preservesValue = true
}
}