Ruby: fix a name clash for summaries called "delete"

This commit is contained in:
Asger F
2023-05-23 13:22:38 +02:00
parent 6f012d51c0
commit 50a7b21928

View File

@@ -583,7 +583,8 @@ module Array {
private class DeleteUnknownSummary extends DeleteSummary {
DeleteUnknownSummary() {
this = "delete" and
// Note: take care to avoid a name clash with the "delete" summary from String.qll
this = "delete-unknown-key" and
not exists(DataFlow::Content::getKnownElementIndex(mc.getArgument(0)))
}