OSDN Git Service

Use a flag from the verifier to know if we should compile.
authorNicolas Geoffray <ngeoffray@google.com>
Wed, 24 Jun 2015 14:53:03 +0000 (15:53 +0100)
committerNicolas Geoffray <ngeoffray@google.com>
Wed, 24 Jun 2015 16:16:07 +0000 (17:16 +0100)
commit286763464072ffb599846f76720c7ec54392ae6e
treec735e7e8dc14f8c978c75a08d8a32e8bb46632fe
parentb5171ff4859104a1e314c3091b6bd4872ad7c2b2
Use a flag from the verifier to know if we should compile.

Only used for the lack of bottom type in the aget-object case
for now. Could be used for more.

bug:21865466

(cherry picked from commit 4824c27988c8eeb302791624bb3ce1d557b0db6c)

Change-Id: I2bb7fe1d4737bd92c1076b5193607d74d8761ee7
compiler/dex/quick/quick_compiler.cc
compiler/dex/verified_method.cc
compiler/dex/verified_method.h
compiler/optimizing/optimizing_compiler.cc
runtime/verifier/method_verifier.cc
runtime/verifier/method_verifier.h
test/518-null-array-get/expected.txt [new file with mode: 0644]
test/518-null-array-get/info.txt [new file with mode: 0644]
test/518-null-array-get/smali/NullArray.smali [new file with mode: 0644]
test/518-null-array-get/src/Main.java [new file with mode: 0644]