Tess Strickland
5aca47f3f3
The ASSERT checks that there will be no overflow in computing the byte offset from the index. However, any instruction that uses this method is preceded by a bounds check of the index, and an index that would cause the byte offset calculation to overflow is guaranteed to fail the bounds check. Thus, this is dead code that will never be executed at runtime and it is okay to emit code to perform the erroneous offset calculation. TEST=vm/dart/regress_55864 Fixes: https://github.com/dart-lang/sdk/issues/55864 Change-Id: If4126e412368b8307be3c787ccb6bd451764c73f Cq-Include-Trybots: luci.dart.try:vm-aot-linux-debug-simarm_x64-try Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/368563 Reviewed-by: Martin Kustermann <kustermann@google.com> Commit-Queue: Tess Strickland <sstrickl@google.com>