mirror of
https://github.com/github/codeql.git
synced 2026-07-13 15:28:16 +02:00
Array.prototype.shift only returns the first array element. The mutation of Argument[this] is not yet modelled, and is better handled when we have use-use flow.