Ruby: fix bug in filter_map summary

This commit is contained in:
Asger F
2023-06-09 14:31:10 +02:00
parent f222cce2e5
commit a50d91ea48
3 changed files with 6100 additions and 6066 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
}
}