JS: Clarify a comment

This commit is contained in:
Asger F
2024-09-17 15:59:04 +02:00
parent 1df69ec1d2
commit 7ba6995854

View File

@@ -487,7 +487,8 @@ class Shift extends SummarizedCallable {
input = "Argument[this].ArrayElement[0]" and
output = "ReturnValue"
or
// ArrayElement[0] is not automatically converted to a taint step, so add it manually
// ArrayElement[0] in the above summary is not automatically converted to a taint step, so manully add
// one from the array to the return value.
preservesValue = false and
input = "Argument[this]" and
output = "ReturnValue"