tree e5d0bff55a3cacc21af2643e70c1d354beb0ad4e
parent 3b22a7ae4689620c5ce1778c5afe4071c72ad79e
author Aart Bik <ajcbik@google.com> 1556663527 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1556663527 +0000

[dart/vm] GenericCheckBound (AOT) may throw

Rationale:
Previous CL inadvertently removed the may-throw tag
from the AOT version of check bound. But, unlike its
speculative counterpart, this non-speculative check
will throw when out of bounds. Optimizations like LICM
rely on this property for correctness. Found with fuzzing!

https://github.com/dart-lang/sdk/issues/36803

Change-Id: I05952f423ffa1917a08dbb6191d0d1533450bc9c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/100921
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
Commit-Queue: Aart Bik <ajcbik@google.com>