58                                  MethodVerifier* verifier) {  in Init()
93 ALWAYS_INLINE static inline bool FailOrAbort(MethodVerifier* verifier, bool condition,  in FailOrAbort()
109 static void SafelyMarkAllRegistersAsConflicts(MethodVerifier* verifier, RegisterLine* reg_line) {  in SafelyMarkAllRegistersAsConflicts()
117 MethodVerifier::FailureKind MethodVerifier::VerifyMethod(  in VerifyMethod()
129 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self,  in VerifyClass()
167 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self,  in VerifyClass()
218     MethodVerifier::FailureKind result = VerifyMethod(self,  in VerifyClass()
261     MethodVerifier::FailureKind result = VerifyMethod(self,  in VerifyClass()
302 MethodVerifier::FailureKind MethodVerifier::VerifyMethod(Thread* self, uint32_t method_idx,  in VerifyMethod()
312   MethodVerifier::FailureKind result = kNoFailure;  in VerifyMethod()
315   MethodVerifier verifier(self, dex_file, dex_cache, class_loader, class_def, code_item,  in VerifyMethod()
352 MethodVerifier* MethodVerifier::VerifyMethodAndDump(Thread* self, std::ostream& os, uint32_t dex_me…  in VerifyMethodAndDump()
360   MethodVerifier* verifier = new MethodVerifier(self, dex_file, dex_cache, class_loader,  in VerifyMethodAndDump()
377 MethodVerifier::MethodVerifier(Thread* self,  in MethodVerifier()  function in art::verifier::MethodVerifier
418 MethodVerifier::~MethodVerifier() {  in ~MethodVerifier()
423 void MethodVerifier::FindLocksAtDexPc(ArtMethod* m, uint32_t dex_pc,  in FindLocksAtDexPc()
428   MethodVerifier verifier(hs.Self(), m->GetDexFile(), dex_cache, class_loader, &m->GetClassDef(),  in FindLocksAtDexPc()
452 void MethodVerifier::FindLocksAtDexPc() {  in FindLocksAtDexPc()
468 ArtField* MethodVerifier::FindAccessedFieldAtDexPc(ArtMethod* m, uint32_t dex_pc) {  in FindAccessedFieldAtDexPc()
472   MethodVerifier verifier(hs.Self(), m->GetDexFile(), dex_cache, class_loader, &m->GetClassDef(),  in FindAccessedFieldAtDexPc()
478 ArtField* MethodVerifier::FindAccessedFieldAtDexPc(uint32_t dex_pc) {  in FindAccessedFieldAtDexPc()
497 ArtMethod* MethodVerifier::FindInvokedMethodAtDexPc(ArtMethod* m, uint32_t dex_pc) {  in FindInvokedMethodAtDexPc()
501   MethodVerifier verifier(hs.Self(), m->GetDexFile(), dex_cache, class_loader, &m->GetClassDef(),  in FindInvokedMethodAtDexPc()
507 ArtMethod* MethodVerifier::FindInvokedMethodAtDexPc(uint32_t dex_pc) {  in FindInvokedMethodAtDexPc()
527 SafeMap<uint32_t, std::set<uint32_t>> MethodVerifier::FindStringInitMap(ArtMethod* m) {  in FindStringInitMap()
532   MethodVerifier verifier(self, m->GetDexFile(), dex_cache, class_loader, &m->GetClassDef(),  in FindStringInitMap()
538 SafeMap<uint32_t, std::set<uint32_t>>& MethodVerifier::FindStringInitMap() {  in FindStringInitMap()
543 bool MethodVerifier::Verify() {  in Verify()
576 std::ostream& MethodVerifier::Fail(VerifyError error) {  in Fail()
641 std::ostream& MethodVerifier::LogVerifyInfo() {  in LogVerifyInfo()
646 void MethodVerifier::PrependToLastFailMessage(std::string prepend) {  in PrependToLastFailMessage()
655 void MethodVerifier::AppendToLastFailMessage(std::string append) {  in AppendToLastFailMessage()
662 bool MethodVerifier::ComputeWidthsAndCountOps() {  in ComputeWidthsAndCountOps()
709 bool MethodVerifier::ScanTryCatchBlocks() {  in ScanTryCatchBlocks()
776 bool MethodVerifier::VerifyInstructions() {  in VerifyInstructions()
812 bool MethodVerifier::VerifyInstruction(const Instruction* inst, uint32_t code_offset) {  in VerifyInstruction()
912 inline bool MethodVerifier::CheckRegisterIndex(uint32_t idx) {  in CheckRegisterIndex()
921 inline bool MethodVerifier::CheckWideRegisterIndex(uint32_t idx) {  in CheckWideRegisterIndex()
930 inline bool MethodVerifier::CheckFieldIndex(uint32_t idx) {  in CheckFieldIndex()
939 inline bool MethodVerifier::CheckMethodIndex(uint32_t idx) {  in CheckMethodIndex()
948 inline bool MethodVerifier::CheckNewInstance(uint32_t idx) {  in CheckNewInstance()
963 inline bool MethodVerifier::CheckStringIndex(uint32_t idx) {  in CheckStringIndex()
972 inline bool MethodVerifier::CheckTypeIndex(uint32_t idx) {  in CheckTypeIndex()
981 bool MethodVerifier::CheckNewArray(uint32_t idx) {  in CheckNewArray()
1007 bool MethodVerifier::CheckArrayData(uint32_t cur_offset) {  in CheckArrayData()
1045 bool MethodVerifier::CheckBranchTarget(uint32_t cur_offset) {  in CheckBranchTarget()
1077 bool MethodVerifier::GetBranchOffset(uint32_t cur_offset, int32_t* pOffset, bool* pConditional,  in GetBranchOffset()
1114 bool MethodVerifier::CheckSwitchTargets(uint32_t cur_offset) {  in CheckSwitchTargets()
1196 bool MethodVerifier::CheckVarArgRegs(uint32_t vA, uint32_t arg[]) {  in CheckVarArgRegs()
1209 bool MethodVerifier::CheckVarArgRangeRegs(uint32_t vA, uint32_t vC) {  in CheckVarArgRangeRegs()
1221 bool MethodVerifier::VerifyCodeFlow() {  in VerifyCodeFlow()
1255 std::ostream& MethodVerifier::DumpFailures(std::ostream& os) {  in DumpFailures()
1263 void MethodVerifier::Dump(std::ostream& os) {  in Dump()
1310 bool MethodVerifier::SetTypesFromSignature() {  in SetTypesFromSignature()
1464 bool MethodVerifier::CodeFlowVerifyMethod() {  in CodeFlowVerifyMethod()
1600 bool MethodVerifier::CodeFlowVerifyInstruction(uint32_t* start_guess) {  in CodeFlowVerifyInstruction()
3158 const RegType& MethodVerifier::ResolveClassAndCheckAccess(uint32_t class_idx) {  in ResolveClassAndCheckAccess()
3184 const RegType& MethodVerifier::GetCaughtExceptionType() {  in GetCaughtExceptionType()
3233 ArtMethod* MethodVerifier::ResolveMethodAndCheckAccess(  in ResolveMethodAndCheckAccess()
3328 ArtMethod* MethodVerifier::VerifyInvocationArgsFromIterator(  in VerifyInvocationArgsFromIterator()
3444 void MethodVerifier::VerifyInvocationArgsUnresolvedMethod(const Instruction* inst,  in VerifyInvocationArgsUnresolvedMethod()
3483 ArtMethod* MethodVerifier::VerifyInvocationArgs(  in VerifyInvocationArgs()
3526 ArtMethod* MethodVerifier::GetQuickInvokedMethod(const Instruction* inst, RegisterLine* reg_line,  in GetQuickInvokedMethod()
3574 ArtMethod* MethodVerifier::VerifyInvokeVirtualQuickArgs(const Instruction* inst, bool is_range) {  in VerifyInvokeVirtualQuickArgs()
3671 void MethodVerifier::VerifyNewArray(const Instruction* inst, bool is_filled, bool is_range) {  in VerifyNewArray()
3719 void MethodVerifier::VerifyAGet(const Instruction* inst,  in VerifyAGet()
3770 void MethodVerifier::VerifyPrimitivePut(const RegType& target_type, const RegType& insn_type,  in VerifyPrimitivePut()
3821 void MethodVerifier::VerifyAPut(const Instruction* inst,  in VerifyAPut()
3871 ArtField* MethodVerifier::GetStaticField(int field_idx) {  in GetStaticField()
3906 ArtField* MethodVerifier::GetInstanceField(const RegType& obj_type, int field_idx) {  in GetInstanceField()
3973 template <MethodVerifier::FieldAccessType kAccType>
3974 void MethodVerifier::VerifyISFieldAccess(const Instruction* inst, const RegType& insn_type,  in VerifyISFieldAccess()
4079 ArtField* MethodVerifier::GetQuickFieldAccess(const Instruction* inst,  in GetQuickFieldAccess()
4097 template <MethodVerifier::FieldAccessType kAccType>
4098 void MethodVerifier::VerifyQuickFieldAccess(const Instruction* inst, const RegType& insn_type,  in VerifyQuickFieldAccess()
4227 bool MethodVerifier::CheckNotMoveException(const uint16_t* insns, int insn_idx) {  in CheckNotMoveException()
4235 bool MethodVerifier::CheckNotMoveResult(const uint16_t* insns, int insn_idx) {  in CheckNotMoveResult()
4244 bool MethodVerifier::CheckNotMoveExceptionOrMoveResult(const uint16_t* insns, int insn_idx) {  in CheckNotMoveExceptionOrMoveResult()
4248 bool MethodVerifier::UpdateRegisters(uint32_t next_insn, RegisterLine* merge_line,  in UpdateRegisters()
4312 InstructionFlags* MethodVerifier::CurrentInsnFlags() {  in CurrentInsnFlags()
4316 const RegType& MethodVerifier::GetMethodReturnType() {  in GetMethodReturnType()
4340 const RegType& MethodVerifier::GetDeclaringClass() {  in GetDeclaringClass()
4356 std::vector<int32_t> MethodVerifier::DescribeVRegs(uint32_t dex_pc) {  in DescribeVRegs()
4404 const RegType& MethodVerifier::DetermineCat1Constant(int32_t value, bool precise) {  in DetermineCat1Constant()
4432 void MethodVerifier::Init() {  in Init()
4436 void MethodVerifier::Shutdown() {  in Shutdown()
4440 void MethodVerifier::VisitStaticRoots(RootVisitor* visitor) {  in VisitStaticRoots()
4444 void MethodVerifier::VisitRoots(RootVisitor* visitor, const RootInfo& root_info) {  in VisitRoots()
4448 const RegType& MethodVerifier::FromClass(const char* descriptor,  in FromClass()