tree 8a664f03bdfa9662bf10a608def52ac42dff81b3
parent 5960a3f430d1e7f47ea3db9a8364dc82e3f8add9
author Pavel Vyssotski <pavel.n.vyssotski@intel.com> 1455200891 +0600
committer David Brazdil <dbrazdil@google.com> 1455292044 +0000

ART: Treat throw with non-reference type as hard failure in verifier.

The code
   const v0, 0xbad
   throw v0
crashes dex2oatd/Quick by DCHECK in art::Mir2Lir::LoadValueDirect.
dex2oat works fine producing VerifyError later in runtime.
Optimizing also pass as it rejects methods with soft failures.

Fix this by rejecting such methods in Verifier.

Bug: 27148248
Change-Id: Ib783f60a210362654d40e84172e7bd579913a4d4
Signed-off-by: Pavel Vyssotski <pavel.n.vyssotski@intel.com>