mirror of
https://github.com/github/codeql.git
synced 2026-06-05 21:47:10 +02:00
Remove imprecise model for tuple()
This commit is contained in:
@@ -4271,14 +4271,9 @@ module StdlibPrivate {
|
||||
preservesValue = true
|
||||
)
|
||||
or
|
||||
(
|
||||
input = "Argument[0]" and
|
||||
preservesValue = false
|
||||
or
|
||||
input = "Argument[0].ListElement" and
|
||||
preservesValue = true
|
||||
) and
|
||||
output = "ReturnValue"
|
||||
input = "Argument[0].ListElement" and
|
||||
output = "ReturnValue" and
|
||||
preservesValue = true
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user