Skip to content

Commit a50d91e

Browse files
committed
Ruby: fix bug in filter_map summary
1 parent f222cce commit a50d91e

File tree

3 files changed

+6100
-6066
lines changed

3 files changed

+6100
-6066
lines changed

ruby/ql/lib/codeql/ruby/frameworks/core/Array.qll

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2067,7 +2067,11 @@ module Enumerable {
20672067

20682068
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
20692069
input = "Argument[self].Element[any]" and
2070-
output = ["Argument[block].Parameter[0]", "ReturnValue.Element[?]"] and
2070+
output = "Argument[block].Parameter[0]" and
2071+
preservesValue = true
2072+
or
2073+
input = "Argument[block].ReturnValue" and
2074+
output = "ReturnValue.Element[?]" and
20712075
preservesValue = true
20722076
}
20732077
}

0 commit comments

Comments
 (0)