commit 980027c7f22f332ad224f662add0df197e71f137
author Pavel Vyssotski <pavel.n.vyssotski@intel.com> Thu Feb 11 20:28:11 2016 +0600
committer David Brazdil <dbrazdil@google.com> Fri Feb 12 15:47:24 2016 +0000
tree 8a664f03bdfa9662bf10a608def52ac42dff81b3
parent 5960a3f430d1e7f47ea3db9a8364dc82e3f8add9

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>

test/800-smali/src/Main.java

diff --git a/test/800-smali/src/Main.java b/test/800-smali/src/Main.java
index b0eff5d..2ea3367 100644
--- a/test/800-smali/src/Main.java
+++ b/test/800-smali/src/Main.java
@@ -160,6 +160,8 @@
                 null));
         testCases.add(new TestCase("b/26594149 (8)", "B26594149_8", "run", null, new VerifyError(),
                 null));
+        testCases.add(new TestCase("b/27148248", "B27148248", "run", null, new VerifyError(),
+                null));
     }
 
     public void runTests() {