Python: missed removing these

`set.add` and `list.append` do not return a value
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-14 14:51:21 +02:00
parent 3b558a0044
commit 9a1e895fdc

View File

@@ -4334,11 +4334,6 @@ private module StdlibPrivate {
}
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
// existing elements
input = "Argument[self].ListElement" and
output = "ReturnValue.ListElement" and
preservesValue = true
or
// newly added element added to this
input = "Argument[0]" and
output = "Argument[self].ListElement" and
@@ -4366,11 +4361,6 @@ private module StdlibPrivate {
}
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
// existing elements
input = "Argument[self].SetElement" and
output = "ReturnValue.SetElement" and
preservesValue = true
or
// newly added element added to this
input = "Argument[0]" and
output = "Argument[self].SetElement" and