Lines Matching refs:Fail
99 verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << error_msg << work_insn_idx; in FailOrAbort()
454 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "zero-length code in concrete non-native method"; in Verify()
462 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad register counts (ins=" << code_item_->ins_size_ in Verify()
483 std::ostream& MethodVerifier::Fail(VerifyError error) { in Fail() function in art::verifier::MethodVerifier
591 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "code did not end where expected (" in ComputeWidthsAndCountOps()
614 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad exception entry: startAddr=" << start in ScanTryCatchBlocks()
619 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in ScanTryCatchBlocks()
637 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in ScanTryCatchBlocks()
750 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << inst->VRegA() << ") in " in VerifyInstruction()
764 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << inst->VRegA() << ") in " in VerifyInstruction()
771 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected opcode " << inst->Name(); in VerifyInstruction()
776 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "opcode only expected at runtime " << inst->Name(); in VerifyInstruction()
784 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register index out of range (" << idx << " >= " in CheckRegisterIndex()
793 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register index out of range (" << idx in CheckWideRegisterIndex()
802 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad field index " << idx << " (max " in CheckFieldIndex()
811 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad method index " << idx << " (max " in CheckMethodIndex()
820 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckNewInstance()
827 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "can't call new-instance on type '" << descriptor << "'"; in CheckNewInstance()
835 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad string index " << idx << " (max " in CheckStringIndex()
844 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckTypeIndex()
853 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckNewArray()
865 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckNewArray()
870 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckNewArray()
888 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data start: at " << cur_offset in CheckArrayData()
897 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned array data table: at " << cur_offset in CheckArrayData()
906 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data end: at " << cur_offset in CheckArrayData()
922 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch offset of zero not allowed at" in CheckBranchTarget()
929 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch target overflow " in CheckBranchTarget()
938 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid branch target " << offset << " (-> " in CheckBranchTarget()
992 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch start: at " << cur_offset in CheckSwitchTargets()
1001 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned switch table: at " << cur_offset in CheckSwitchTargets()
1021 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckSwitchTargets()
1028 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch end: at " << cur_offset in CheckSwitchTargets()
1041 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid packed switch: last key=" << last_key in CheckSwitchTargets()
1056 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch target " << offset in CheckSwitchTargets()
1069 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << vA << ") in non-range invoke)"; in CheckVarArgRegs()
1075 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index (" << arg[idx] in CheckVarArgRegs()
1089 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index " << vA << "+" << vC in CheckVarArgRangeRegs()
1223 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1264 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1276 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected signature type char '" in SetTypesFromSignature()
1283 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1317 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected char in return type descriptor '" in SetTypesFromSignature()
1504 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "encountered data table in instruction stream"; in CodeFlowVerifyInstruction()
1561 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "move-exception at pc 0x0"; in CodeFlowVerifyInstruction()
1575 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void not expected"; in CodeFlowVerifyInstruction()
1584 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected non-category 1 return type " in CodeFlowVerifyInstruction()
1609 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-wide not expected"; in CodeFlowVerifyInstruction()
1624 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-object not expected"; in CodeFlowVerifyInstruction()
1634 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "returning uninitialized object '" in CodeFlowVerifyInstruction()
1638 Fail(VERIFY_ERROR_NO_CLASS) << " can't resolve returned type '" << return_type in CodeFlowVerifyInstruction()
1641 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning '" << reg_type in CodeFlowVerifyInstruction()
1763 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "using primitive type " in CodeFlowVerifyInstruction()
1780 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on unexpected class " << res_type; in CodeFlowVerifyInstruction()
1782 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on unexpected class " << res_type; in CodeFlowVerifyInstruction()
1786 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on non-reference in v" << orig_type_reg; in CodeFlowVerifyInstruction()
1788 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on non-reference in v" << orig_type_reg; in CodeFlowVerifyInstruction()
1803 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type; in CodeFlowVerifyInstruction()
1808 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type; in CodeFlowVerifyInstruction()
1821 Fail(VERIFY_ERROR_INSTANTIATION) in CodeFlowVerifyInstruction()
1880 Fail(res_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS : VERIFY_ERROR_BAD_CLASS_SOFT) in CodeFlowVerifyInstruction()
1903 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with array type " in CodeFlowVerifyInstruction()
1910 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with component type " in CodeFlowVerifyInstruction()
1917 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid magic for array-data"; in CodeFlowVerifyInstruction()
1923 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-data size mismatch (" << array_data[1] in CodeFlowVerifyInstruction()
1945 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to if-eq/if-ne (" << reg_type1 << "," in CodeFlowVerifyInstruction()
1957 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to 'if' (" << reg_type1 << "," in CodeFlowVerifyInstruction()
1966 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type in CodeFlowVerifyInstruction()
2076 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type in CodeFlowVerifyInstruction()
2303 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unable to initialize null ref"; in CodeFlowVerifyInstruction()
2318 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected initialization on uninitialized reference " in CodeFlowVerifyInstruction()
2377 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected interface class in invoke-interface '" in CodeFlowVerifyInstruction()
2390 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface call on uninitialized object " in CodeFlowVerifyInstruction()
2651 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void-barrier not expected"; in CodeFlowVerifyInstruction()
2723 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Unexpected opcode " << inst->DumpString(dex_file_); in CodeFlowVerifyInstruction()
2771 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad branch"; in CodeFlowVerifyInstruction()
2881 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CodeFlowVerifyInstruction()
2896 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Execution can walk off end of code area"; in CodeFlowVerifyInstruction()
2974 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "accessing broken descriptor '" << descriptor in ResolveClassAndCheckAccess()
2986 Fail(VERIFY_ERROR_ACCESS_CLASS) << "illegal class access: '" in ResolveClassAndCheckAccess()
3008 Fail(VERIFY_ERROR_NO_CLASS) << "unresolved exception class " << exception; in GetCaughtExceptionType()
3011 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unexpected non-exception class " << exception; in GetCaughtExceptionType()
3035 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unable to find exception handler"; in GetCaughtExceptionType()
3078 Fail(VERIFY_ERROR_NO_METHOD) << "couldn't find method " in ResolveMethodAndCheckAccess()
3088 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting non-direct call to constructor " in ResolveMethodAndCheckAccess()
3094 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting call to class initializer " in ResolveMethodAndCheckAccess()
3100 Fail(VERIFY_ERROR_ACCESS_METHOD) << "illegal method access (call " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3106 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke-super/virtual can't be used on private method " in ResolveMethodAndCheckAccess()
3112 Fail(VERIFY_ERROR_CLASS_CHANGE) << "non-interface method " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3116 Fail(VERIFY_ERROR_CLASS_CHANGE) << "interface method " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3126 Fail(VERIFY_ERROR_CLASS_CHANGE) << "invoke type (" << method_type << ") does not match method " in ResolveMethodAndCheckAccess()
3145 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args in VerifyInvocationArgsFromIterator()
3170 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvocationArgsFromIterator()
3177 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvocationArgsFromIterator()
3197 Fail(actual_arg_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS: in VerifyInvocationArgsFromIterator()
3212 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << inst->VRegA() << in VerifyInvocationArgsFromIterator()
3220 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation because of missing signature " in VerifyInvocationArgsFromIterator()
3232 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << get_reg << " has type " << src_type in VerifyInvocationArgsFromIterator()
3246 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << expected_args << in VerifyInvocationArgsFromIterator()
3315 Fail(VERIFY_ERROR_NO_METHOD) << "unknown super class in invoke-super from " in VerifyInvocationArgs()
3322 Fail(VERIFY_ERROR_NO_METHOD) << "invalid invoke-super from " in VerifyInvocationArgs()
3386 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer method from " << inst->Name(); in VerifyInvokeVirtualQuickArgs()
3409 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args in VerifyInvokeVirtualQuickArgs()
3420 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvokeVirtualQuickArgs()
3430 Fail(actual_arg_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS : in VerifyInvokeVirtualQuickArgs()
3449 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invalid call to '" << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3458 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation of " << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3470 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation of " << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3496 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "new-array on non-array class " << res_type; in VerifyNewArray()
3530 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")"; in VerifyAGet()
3545 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aget"; in VerifyAGet()
3550 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type in VerifyAGet()
3553 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "reference array type " << array_type in VerifyAGet()
3558 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array type " << array_type in VerifyAGet()
3615 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "put insn has type '" << insn_type in VerifyPrimitivePut()
3620 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected value in v" << vregA in VerifyPrimitivePut()
3630 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")"; in VerifyAPut()
3637 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aput"; in VerifyAPut()
3645 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type in VerifyAPut()
3683 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access static field " << PrettyField(field) in GetStaticField()
3687 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << PrettyField(field) << " to be static"; in GetStaticField()
3718 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3722 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << PrettyField(field) in GetInstanceField()
3730 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance field access on object that has " in GetInstanceField()
3743 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3751 Fail(VERIFY_ERROR_NO_FIELD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3778 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot modify final field " << PrettyField(field) in VerifyISFieldAccess()
3814 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
3834 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
3841 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
3889 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer field from " << inst->Name(); in VerifyQuickFieldAccess()
3896 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot modify final field " << PrettyField(field) in VerifyQuickFieldAccess()
3923 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer field type from " << inst->Name(); in VerifyQuickFieldAccess()
3957 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
3964 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected value in v" << vregA in VerifyQuickFieldAccess()
3972 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
3991 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
3998 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
4018 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-exception"; in CheckNotMoveException()