use any() instead of this = this

Co-authored-by: Arthur Baars <aibaars@github.com>
This commit is contained in:
Erik Krogh Kristensen
2023-01-02 10:49:54 +01:00
committed by GitHub
parent 99dc0a8356
commit 79a2b6d0b0

View File

@@ -13,7 +13,7 @@ private import codeql.ruby.dataflow.FlowSummary
*/
abstract private class Summary extends SimpleSummarizedCallable {
bindingset[this]
Summary() { this = this }
Summary() { any() }
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
this.propagates(input, output) and preservesValue = true