tree 0e329c233177475aab0c15325f362d07952464e6
parent adbe98b55ddb12e40ea96ef5d44d9a740540321a
author Søren Gjesse <sgjesse@google.com> 1606734109 +0100
committer Søren Gjesse <sgjesse@google.com> 1606734109 +0100

Reproduce verification error from devirtualizer

Bug: 174167294
Change-Id: I5c232d4599e554455051bfb6f4497aad22cc2e73