Lines Matching refs:Fail
101 verifier->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << error_msg << work_insn_idx; in FailOrAbort()
547 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "zero-length code in concrete non-native method"; in Verify()
555 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad register counts (ins=" << code_item_->ins_size_ in Verify()
576 std::ostream& MethodVerifier::Fail(VerifyError error) { in Fail() function in art::verifier::MethodVerifier
699 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "code did not end where expected (" in ComputeWidthsAndCountOps()
722 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad exception entry: startAddr=" << start in ScanTryCatchBlocks()
727 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in ScanTryCatchBlocks()
749 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in ScanTryCatchBlocks()
754 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in ScanTryCatchBlocks()
879 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << v_a << ") in " in VerifyInstruction()
894 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid arg count (" << inst->VRegA() << ") in " in VerifyInstruction()
901 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected opcode " << inst->Name(); in VerifyInstruction()
906 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "opcode only expected at runtime " << inst->Name(); in VerifyInstruction()
914 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register index out of range (" << idx << " >= " in CheckRegisterIndex()
923 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register index out of range (" << idx in CheckWideRegisterIndex()
932 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad field index " << idx << " (max " in CheckFieldIndex()
941 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad method index " << idx << " (max " in CheckMethodIndex()
950 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckNewInstance()
957 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "can't call new-instance on type '" << descriptor << "'"; in CheckNewInstance()
965 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad string index " << idx << " (max " in CheckStringIndex()
974 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckTypeIndex()
983 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad type index " << idx << " (max " in CheckNewArray()
995 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckNewArray()
1000 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckNewArray()
1018 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data start: at " << cur_offset in CheckArrayData()
1027 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned array data table: at " << cur_offset in CheckArrayData()
1036 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data end: at " << cur_offset in CheckArrayData()
1052 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch offset of zero not allowed at" in CheckBranchTarget()
1059 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "branch target overflow " in CheckBranchTarget()
1068 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid branch target " << offset << " (-> " in CheckBranchTarget()
1121 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch start: at " << cur_offset in CheckSwitchTargets()
1130 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned switch table: at " << cur_offset in CheckSwitchTargets()
1150 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CheckSwitchTargets()
1157 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch end: at " << cur_offset in CheckSwitchTargets()
1170 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid packed switch: last key=" << last_key in CheckSwitchTargets()
1185 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch target " << offset in CheckSwitchTargets()
1200 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index (" << arg[idx] in CheckVarArgRegs()
1214 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid reg index " << vA << "+" << vC in CheckVarArgRangeRegs()
1324 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected 0 args, but method is not static"; in SetTypesFromSignature()
1357 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1398 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1417 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected signature type char '" in SetTypesFromSignature()
1424 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected " << expected_args in SetTypesFromSignature()
1458 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected char in return type descriptor '" in SetTypesFromSignature()
1671 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "encountered data table in instruction stream"; in CodeFlowVerifyInstruction()
1728 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "move-exception at pc 0x0"; in CodeFlowVerifyInstruction()
1742 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void not expected"; in CodeFlowVerifyInstruction()
1751 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected non-category 1 return type " in CodeFlowVerifyInstruction()
1776 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-wide not expected"; in CodeFlowVerifyInstruction()
1791 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-object not expected"; in CodeFlowVerifyInstruction()
1801 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "returning uninitialized object '" in CodeFlowVerifyInstruction()
1805 Fail(VERIFY_ERROR_NO_CLASS) << " can't resolve returned type '" << return_type in CodeFlowVerifyInstruction()
1814 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "array with erroneous component type: " in CodeFlowVerifyInstruction()
1820 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning '" << reg_type in CodeFlowVerifyInstruction()
1943 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "using primitive type " in CodeFlowVerifyInstruction()
1960 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on unexpected class " << res_type; in CodeFlowVerifyInstruction()
1962 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on unexpected class " << res_type; in CodeFlowVerifyInstruction()
1966 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on non-reference in v" << orig_type_reg; in CodeFlowVerifyInstruction()
1968 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on non-reference in v" << orig_type_reg; in CodeFlowVerifyInstruction()
1983 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type; in CodeFlowVerifyInstruction()
1988 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type; in CodeFlowVerifyInstruction()
2001 Fail(VERIFY_ERROR_INSTANTIATION) in CodeFlowVerifyInstruction()
2060 Fail(res_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS : VERIFY_ERROR_BAD_CLASS_SOFT) in CodeFlowVerifyInstruction()
2083 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with array type " in CodeFlowVerifyInstruction()
2089 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid fill-array-data with component type " in CodeFlowVerifyInstruction()
2096 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid magic for array-data"; in CodeFlowVerifyInstruction()
2102 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-data size mismatch (" << array_data[1] in CodeFlowVerifyInstruction()
2124 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to if-eq/if-ne (" << reg_type1 << "," in CodeFlowVerifyInstruction()
2136 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "args to 'if' (" << reg_type1 << "," in CodeFlowVerifyInstruction()
2145 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type in CodeFlowVerifyInstruction()
2255 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "type " << reg_type in CodeFlowVerifyInstruction()
2477 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unable to initialize null ref"; in CodeFlowVerifyInstruction()
2492 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected initialization on uninitialized reference " in CodeFlowVerifyInstruction()
2551 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected interface class in invoke-interface '" in CodeFlowVerifyInstruction()
2564 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface call on uninitialized object " in CodeFlowVerifyInstruction()
2820 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void-no-barrier not expected for field " in CodeFlowVerifyInstruction()
2828 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "return-void-no-barrier not expected for " in CodeFlowVerifyInstruction()
2902 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Unexpected opcode " << inst->DumpString(dex_file_); in CodeFlowVerifyInstruction()
2963 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad branch"; in CodeFlowVerifyInstruction()
3072 Fail(VERIFY_ERROR_BAD_CLASS_HARD) in CodeFlowVerifyInstruction()
3088 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Execution can walk off end of code area"; in CodeFlowVerifyInstruction()
3166 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "accessing broken descriptor '" << descriptor in ResolveClassAndCheckAccess()
3178 Fail(VERIFY_ERROR_ACCESS_CLASS) << "illegal class access: '" in ResolveClassAndCheckAccess()
3200 Fail(VERIFY_ERROR_NO_CLASS) << "unresolved exception class " << exception; in GetCaughtExceptionType()
3203 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unexpected non-exception class " << exception; in GetCaughtExceptionType()
3227 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unable to find exception handler"; in GetCaughtExceptionType()
3272 Fail(VERIFY_ERROR_NO_METHOD) << "couldn't find method " in ResolveMethodAndCheckAccess()
3282 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting non-direct call to constructor " in ResolveMethodAndCheckAccess()
3288 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "rejecting call to class initializer " in ResolveMethodAndCheckAccess()
3294 Fail(VERIFY_ERROR_ACCESS_METHOD) << "illegal method access (call " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3300 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke-super/virtual can't be used on private method " in ResolveMethodAndCheckAccess()
3306 Fail(VERIFY_ERROR_CLASS_CHANGE) << "non-interface method " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3310 Fail(VERIFY_ERROR_CLASS_CHANGE) << "interface method " << PrettyMethod(res_method) in ResolveMethodAndCheckAccess()
3320 Fail(VERIFY_ERROR_CLASS_CHANGE) << "invoke type (" << method_type << ") does not match method " in ResolveMethodAndCheckAccess()
3337 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args in VerifyInvocationArgsFromIterator()
3362 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvocationArgsFromIterator()
3369 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvocationArgsFromIterator()
3389 Fail(actual_arg_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS: in VerifyInvocationArgsFromIterator()
3404 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << inst->VRegA() << in VerifyInvocationArgsFromIterator()
3412 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation because of missing signature " in VerifyInvocationArgsFromIterator()
3423 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << get_reg << " has type " << src_type in VerifyInvocationArgsFromIterator()
3437 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation, expected " << expected_args << in VerifyInvocationArgsFromIterator()
3504 Fail(VERIFY_ERROR_NO_METHOD) << "unknown super class in invoke-super from " in VerifyInvocationArgs()
3511 Fail(VERIFY_ERROR_NO_METHOD) << "invalid invoke-super from " in VerifyInvocationArgs()
3580 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer method from " << inst->Name(); in VerifyInvokeVirtualQuickArgs()
3603 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid argument count (" << expected_args in VerifyInvokeVirtualQuickArgs()
3614 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "'this' arg must be initialized"; in VerifyInvokeVirtualQuickArgs()
3623 Fail(actual_arg_type.IsUnresolvedTypes() ? VERIFY_ERROR_NO_CLASS : in VerifyInvokeVirtualQuickArgs()
3642 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invalid call to '" << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3651 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation of " << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3663 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Rejecting invocation of " << PrettyMethod(res_method) in VerifyInvokeVirtualQuickArgs()
3689 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "new-array on non-array class " << res_type; in VerifyNewArray()
3723 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")"; in VerifyAGet()
3740 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aget"; in VerifyAGet()
3745 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type in VerifyAGet()
3748 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "reference array type " << array_type in VerifyAGet()
3753 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array type " << array_type in VerifyAGet()
3810 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "put insn has type '" << insn_type in VerifyPrimitivePut()
3815 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected value in v" << vregA in VerifyPrimitivePut()
3825 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Invalid reg type for array index (" << index_type << ")"; in VerifyAPut()
3850 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "not array type " << array_type << " with aput"; in VerifyAPut()
3858 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "primitive array type " << array_type in VerifyAPut()
3896 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access static field " << PrettyField(field) in GetStaticField()
3900 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << PrettyField(field) << " to be static"; in GetStaticField()
3931 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3935 Fail(VERIFY_ERROR_CLASS_CHANGE) << "expected field " << PrettyField(field) in GetInstanceField()
3943 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance field access on object that has " in GetInstanceField()
3956 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3964 Fail(VERIFY_ERROR_NO_FIELD) << "cannot access instance field " << PrettyField(field) in GetInstanceField()
3991 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot modify final field " << PrettyField(field) in VerifyISFieldAccess()
4027 Fail(error) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
4047 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
4059 Fail(error) << "expected field " << PrettyField(field) in VerifyISFieldAccess()
4104 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer field from " << inst->Name(); in VerifyQuickFieldAccess()
4111 Fail(VERIFY_ERROR_ACCESS_FIELD) << "cannot modify final field " << PrettyField(field) in VerifyQuickFieldAccess()
4134 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Cannot infer field type from " << inst->Name(); in VerifyQuickFieldAccess()
4168 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
4175 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unexpected value in v" << vregA in VerifyQuickFieldAccess()
4183 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
4202 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
4209 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "expected field " << PrettyField(field) in VerifyQuickFieldAccess()
4229 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-exception"; in CheckNotMoveException()
4238 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-result*"; in CheckNotMoveResult()
4453 Fail(VerifyError::VERIFY_ERROR_NO_CLASS) << "Could not create precise reference for " in FromClass()