/art/runtime/verifier/ |
H A D | reg_type-inl.h | 27 namespace verifier { namespace in namespace:art 192 } // namespace verifier
|
H A D | reg_type.cc | 35 namespace verifier { namespace in namespace:art 919 } // namespace verifier
|
H A D | reg_type.h | 43 namespace verifier { namespace in namespace:art 932 } // namespace verifier
|
H A D | reg_type_cache.cc | 31 namespace verifier { namespace in namespace:art 675 } // namespace verifier
|
H A D | reg_type_test.cc | 31 namespace verifier { namespace in namespace:art 667 } // namespace verifier
|
/art/runtime/ |
H A D | Android.mk | 190 verifier/instruction_flags.cc \ 191 verifier/method_verifier.cc \ 192 verifier/reg_type.cc \ 193 verifier/reg_type_cache.cc \ 194 verifier/register_line.cc \ 378 verifier/method_verifier.h
|
H A D | parsed_options.cc | 267 .WithType<verifier::VerifyMode>() 268 .WithValueMap({{"none", verifier::VerifyMode::kNone}, 269 {"remote", verifier::VerifyMode::kEnable}, 270 {"all", verifier::VerifyMode::kEnable}, 271 {"softfail", verifier::VerifyMode::kSoftFail}}) 425 // gLogVerbosity.verifier = true; // TODO: don't check this in!
|
H A D | common_throws.cc | 34 #include "verifier/method_verifier.h" 431 // Since we replaced the method index, we ask the verifier to tell us which 434 verifier::MethodVerifier::FindInvokedMethodAtDexPc(method, throw_dex_pc); 463 // Since we replaced the field index, we ask the verifier to tell us which 466 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc); 495 // Since we replaced the field index, we ask the verifier to tell us which 498 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
|
H A D | thread.h | 71 namespace verifier { namespace in namespace:art 73 } // namespace verifier 900 // Currently deoptimization invokes verifier which can trigger class loading 1092 void PushVerifier(verifier::MethodVerifier* verifier); 1093 void PopVerifier(verifier::MethodVerifier* verifier); 1509 // Current method verifier, used for root marking. 1510 verifier::MethodVerifier* method_verifier;
|
H A D | runtime.cc | 140 #include "verifier/method_verifier.h" 219 verify_(verifier::VerifyMode::kNone), 333 verifier::MethodVerifier::Shutdown(); 1232 verifier::MethodVerifier::Init(); 1621 verifier::MethodVerifier::VisitStaticRoots(visitor); 2007 return verify_ == verifier::VerifyMode::kEnable || 2008 verify_ == verifier::VerifyMode::kSoftFail; 2012 return verify_ == verifier::VerifyMode::kSoftFail;
|
H A D | thread.cc | 72 #include "verifier/method_verifier.h" 1491 // Dumping the Java stack involves the verifier for locks. The verifier operates under the 2874 for (auto* verifier = tlsPtr_.method_verifier; verifier != nullptr; verifier = verifier->link_) { 2875 verifier->VisitRoots(visitor, RootInfo(kRootNativeStack, thread_id)); 3000 void Thread::PushVerifier(verifier::MethodVerifier* verifier) { argument 3005 PopVerifier(verifier::MethodVerifier* verifier) argument [all...] |
H A D | runtime.h | 71 namespace verifier { namespace in namespace:art 74 } // namespace verifier 809 verifier::VerifyMode verify_;
|
H A D | dex_file_verifier.cc | 133 std::unique_ptr<DexFileVerifier> verifier(new DexFileVerifier(dex_file, begin, size, location)); 134 if (!verifier->Verify()) { 135 *error_msg = verifier->FailureReason();
|
H A D | class_linker.cc | 94 #include "verifier/method_verifier.h" 3944 // If the oat file says the class had an error, re-run the verifier. That way we will get a 3949 verifier::MethodVerifier::FailureKind verifier_failure = verifier::MethodVerifier::kNoFailure; 3953 verifier_failure = verifier::MethodVerifier::VerifyClass(self, 3964 if (preverified || verifier_failure != verifier::MethodVerifier::kHardFailure) { 3965 if (!preverified && verifier_failure != verifier::MethodVerifier::kNoFailure) { 3973 if (verifier_failure == verifier::MethodVerifier::kNoFailure) { 3974 // Even though there were no verifier failures we need to respect whether the super-class and 3982 verifier_failure = verifier [all...] |
H A D | monitor.cc | 36 #include "verifier/method_verifier.h" 1209 // Ask the verifier for the dex pcs of all the monitor-enter instructions corresponding to 1212 verifier::MethodVerifier::FindLocksAtDexPc(m, dex_pc, &monitor_enter_dex_pcs); 1214 // The verifier works in terms of the dex pcs of the monitor-enter instructions.
|
/art/compiler/dex/quick/ |
H A D | dex_file_method_inliner.cc | 28 #include "verifier/method_verifier-inl.h" 684 bool DexFileMethodInliner::AnalyseMethodCode(verifier::MethodVerifier* verifier) { argument 686 bool success = InlineMethodAnalyser::AnalyseMethodCode(verifier, &method); 687 return success && AddInlineMethod(verifier->GetMethodReference().dex_method_index, method);
|
/art/runtime/base/ |
H A D | logging.h | 57 bool verifier; member in struct:art::LogVerbosity
|
/art/build/ |
H A D | Android.gtest.mk | 260 runtime/verifier/method_verifier_test.cc \ 261 runtime/verifier/reg_type_test.cc \
|
/art/oatdump/ |
H A D | oatdump.cc | 63 #include "verifier/method_verifier.h" 818 std::unique_ptr<verifier::MethodVerifier> verifier; local 820 // We need to have the handle scope stay live until after the verifier since the verifier has 825 verifier.reset(DumpVerifier(vios, hs.get(), 1110 verifier::MethodVerifier* DumpVerifier(VariableIndentationOutputStream* vios, 1123 return verifier::MethodVerifier::VerifyMethodAndDump(
|
/art/compiler/driver/ |
H A D | compiler_driver.h | 51 namespace verifier { namespace in namespace:art 53 } // namespace verifier
|
H A D | compiler_driver.cc | 73 #include "verifier/method_verifier.h" 74 #include "verifier/method_verifier-inl.h" 226 // Indicate that type information from the verifier led to devirtualization. 293 // A check-cast could be eliminated due to verifier type analysis. 299 // A check-cast couldn't be eliminated due to verifier type analysis. 623 (verifier::VERIFY_ERROR_FORCE_INTERPRETER | verifier::VERIFY_ERROR_LOCKING)) == 0 && 902 // Let the verifier resolve as needed for the verify_only_profile case. 1102 // exceptions are resolved by the verifier when there is a catch block in an interested method. 1405 // Get type from dex cache assuming it was populated by the verifier [all...] |
/art/cmdline/ |
H A D | cmdline_types.h | 619 } else if (verbose_options[j] == "verifier") { 620 log_verbosity.verifier = true;
|
/art/compiler/optimizing/ |
H A D | optimizing_compiler.cc | 83 #include "verifier/method_verifier.h" 702 // the verifier must have set it, but under JIT, there's no guarantee, as we 703 // don't necessarily run the verifier. 801 || verifier::MethodVerifier::CanCompilerHandleVerificationFailure(
|