tree 5bdbff235e1ce5420cd97587a72552cc3ce27c5b
parent 99b67ac0f3c00de167033683a0a0fd489cb8aa45
author Daco Harkes <dacoharkes@google.com> 1653078532 +0000
committer Commit Bot <commit-bot@chromium.org> 1653078532 +0000

[vm] Make Shift MayThrow more precise

After https://dart-review.googlesource.com/c/sdk/+/245061,
multiplications guaranteed to not throw, could be turned into shifts
reporting they may throw.

TEST=Existing test suite exercising the new ASSERTs.

Change-Id: Ie464fb1dfe8b0c4c98ac6f462154f909bef53794
Cq-Include-Trybots: luci.dart.try:vm-kernel-linux-debug-x64-try,vm-kernel-precomp-linux-debug-x64-try,vm-kernel-reload-linux-debug-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/245362
Reviewed-by: Ryan Macnak <rmacnak@google.com>
Commit-Queue: Daco Harkes <dacoharkes@google.com>