gerrit.witaqua.org / art / 1663d16e87f35246a2858e5ef1237b9907edbe6f / runtime / verify_object.cc