tree 34a20ea53470caaba1db23d92810c16b3360b7e8
parent ab896b57bfe9d9f3da4938b402721d69b34f32e9
author Søren Gjesse <sgjesse@google.com> 1606742584 +0100
committer Søren Gjesse <sgjesse@google.com> 1606742584 +0100

Reproduce verification error from devirtualizer

Bug: 174167294
Change-Id: I5c232d4599e554455051bfb6f4497aad22cc2e73