Lines Matching refs:failure
724 VerifyError failure = VERIFY_ERROR_NONE;
779 lookupClassByDescriptor(meth, descriptor, &failure);
780 if (!VERIFY_OK(failure))
937 VerifyError failure = VERIFY_ERROR_NONE;
939 lookupClassByDescriptor(meth, descriptor, &failure);
940 assert(VERIFY_OK(failure));
1041 * Returns the resolved method on success, NULL on failure (with *pFailure
1063 /* failed; print a meaningful failure message */
2503 * on failure.
2574 * on failure.
2603 * Sets "*pFailure" on failure.
2969 int insnIdx, VerifyError failure)
3066 /* encode the opcode, with the failure code in the high byte */
3068 (failure << 8) | (refType << (8 + kVerifyErrorRefTypeShift));
3502 VerifyError failure = VERIFY_ERROR_NONE;
3537 failure = VERIFY_ERROR_GENERIC;
3545 kTypeCategory1nr, &failure);
3550 copyRegister2(workRegs, insnRegCount, decInsn.vA, decInsn.vB, &failure);
3556 kTypeCategoryRef, &failure);
3572 kTypeCategory1nr, &failure);
3575 copyResultRegister2(workRegs, insnRegCount, decInsn.vA, &failure);
3579 kTypeCategoryRef, &failure);
3592 resClass = getCaughtExceptionType(meth, insnIdx, &failure);
3594 assert(!VERIFY_OK(failure));
3597 regTypeFromClass(resClass), &failure);
3603 failure = VERIFY_ERROR_GENERIC;
3606 failure = VERIFY_ERROR_GENERIC;
3611 failure = VERIFY_ERROR_GENERIC;
3615 checkTypeCategory(returnType, kTypeCategory1nr, &failure);
3616 if (!VERIFY_OK(failure))
3621 &failure);
3622 checkTypeCategory(returnType, kTypeCategory1nr, &failure);
3623 if (!VERIFY_OK(failure))
3629 failure = VERIFY_ERROR_GENERIC;
3635 checkTypeCategory(returnType, kTypeCategory2, &failure);
3636 if (!VERIFY_OK(failure))
3641 &failure);
3643 decInsn.vA +1, &failure);
3644 if (VERIFY_OK(failure)) {
3645 checkTypeCategory(returnType, kTypeCategory2, &failure);
3646 checkWidePair(returnType, returnTypeHi, &failure);
3648 if (!VERIFY_OK(failure)) {
3656 failure = VERIFY_ERROR_GENERIC;
3659 checkTypeCategory(returnType, kTypeCategoryRef, &failure);
3660 if (!VERIFY_OK(failure)) {
3683 decInsn.vA, &failure);
3684 if (!VERIFY_OK(failure))
3693 failure = VERIFY_ERROR_GENERIC;
3705 dvmDetermineCat1Const((s4)decInsn.vB), &failure);
3710 dvmDetermineCat1Const((s4) decInsn.vB << 16), &failure);
3718 kRegTypeLongLo, &failure);
3724 regTypeFromClass(gDvm.classJavaLangString), &failure);
3729 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3735 assert(failure != VERIFY_ERROR_GENERIC);
3738 regTypeFromClass(gDvm.classJavaLangClass), &failure);
3744 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
3745 if (VERIFY_OK(failure)) {
3748 failure = VERIFY_ERROR_GENERIC;
3762 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3768 assert(failure != VERIFY_ERROR_GENERIC);
3773 &failure);
3774 if (!VERIFY_OK(failure))
3778 failure = VERIFY_ERROR_GENERIC;
3782 regTypeFromClass(resClass), &failure);
3787 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vB, &failure);
3788 if (!VERIFY_OK(failure))
3792 failure = VERIFY_ERROR_GENERIC;
3797 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
3803 assert(failure != VERIFY_ERROR_GENERIC);
3807 kRegTypeBoolean, &failure);
3813 decInsn.vB, &failure);
3814 if (!VERIFY_OK(failure))
3818 failure = VERIFY_ERROR_GENERIC;
3822 &failure);
3826 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3832 assert(failure != VERIFY_ERROR_GENERIC);
3840 failure = VERIFY_ERROR_INSTANTIATION;
3858 uninitType, &failure);
3862 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
3868 assert(failure != VERIFY_ERROR_GENERIC);
3871 failure = VERIFY_ERROR_GENERIC;
3875 kRegTypeInteger, &failure);
3878 regTypeFromClass(resClass), &failure);
3883 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3889 assert(failure != VERIFY_ERROR_GENERIC);
3892 failure = VERIFY_ERROR_GENERIC;
3898 resClass, isRange, &failure);
3901 regTypeFromClass(resClass), &failure);
3909 &failure);
3911 &failure);
3913 &failure);
3918 &failure);
3920 &failure);
3922 &failure);
3926 &failure);
3928 &failure);
3930 &failure);
3935 decInsn.vA, &failure);
3936 if (VERIFY_OK(failure) && resClass != NULL) {
3940 failure = VERIFY_ERROR_GENERIC;
3955 kRegTypeInteger, &failure);
3966 decInsn.vA, &failure);
3967 if (!VERIFY_OK(failure))
3980 failure = VERIFY_ERROR_GENERIC;
3995 failure = VERIFY_ERROR_GENERIC;
4029 failure = VERIFY_ERROR_GENERIC;
4040 &failure);
4042 &failure);
4043 if (!VERIFY_OK(failure))
4051 checkTypeCategory(type1, kTypeCategory1nr, &failure);
4052 checkTypeCategory(type2, kTypeCategory1nr, &failure);
4053 if (!VERIFY_OK(failure)) {
4063 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4064 if (!VERIFY_OK(failure))
4066 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4067 if (!VERIFY_OK(failure)) {
4071 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vB, &failure);
4072 if (!VERIFY_OK(failure))
4074 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4075 if (!VERIFY_OK(failure)) {
4082 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4083 if (!VERIFY_OK(failure))
4087 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4088 if (!VERIFY_OK(failure))
4095 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4096 if (!VERIFY_OK(failure))
4098 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4099 if (!VERIFY_OK(failure))
4123 &failure);
4124 checkArrayIndexType(meth, indexType, &failure);
4125 if (!VERIFY_OK(failure))
4129 decInsn.vB, &failure);
4130 if (!VERIFY_OK(failure))
4139 failure = VERIFY_ERROR_GENERIC;
4151 failure = VERIFY_ERROR_GENERIC;
4157 tmpType, &failure);
4166 &failure);
4167 checkArrayIndexType(meth, indexType, &failure);
4168 if (!VERIFY_OK(failure))
4172 decInsn.vB, &failure);
4173 if (!VERIFY_OK(failure))
4182 failure = VERIFY_ERROR_GENERIC;
4198 failure = VERIFY_ERROR_GENERIC;
4211 dstType, &failure);
4220 &failure);
4221 checkArrayIndexType(meth, indexType, &failure);
4222 if (!VERIFY_OK(failure))
4227 decInsn.vB, &failure);
4228 if (!VERIFY_OK(failure))
4236 failure = VERIFY_ERROR_GENERIC;
4256 failure = VERIFY_ERROR_GENERIC;
4272 dstType, &failure);
4295 &failure);
4296 checkArrayIndexType(meth, indexType, &failure);
4297 if (!VERIFY_OK(failure))
4302 &failure);
4306 failure = VERIFY_ERROR_GENERIC;
4311 decInsn.vB, &failure);
4312 if (!VERIFY_OK(failure))
4323 failure = VERIFY_ERROR_GENERIC;
4335 failure = VERIFY_ERROR_GENERIC;
4342 &failure);
4343 checkArrayIndexType(meth, tmpType, &failure);
4344 if (!VERIFY_OK(failure))
4347 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4348 if (VERIFY_OK(failure)) {
4350 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4351 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4352 checkWidePair(tmpType, typeHi, &failure);
4354 if (!VERIFY_OK(failure))
4358 decInsn.vB, &failure);
4359 if (!VERIFY_OK(failure))
4368 failure = VERIFY_ERROR_GENERIC;
4380 failure = VERIFY_ERROR_GENERIC;
4387 &failure);
4388 checkArrayIndexType(meth, tmpType, &failure);
4389 if (!VERIFY_OK(failure))
4394 decInsn.vA, &failure);
4395 if (!VERIFY_OK(failure))
4407 decInsn.vB, &failure);
4414 failure = VERIFY_ERROR_GENERIC;
4439 failure = VERIFY_ERROR_GENERIC;
4468 &failure);
4469 if (!VERIFY_OK(failure))
4472 &failure);
4473 if (!VERIFY_OK(failure))
4484 failure = VERIFY_ERROR_GENERIC;
4489 &failure);
4500 &failure);
4501 if (!VERIFY_OK(failure))
4504 &failure);
4505 if (!VERIFY_OK(failure))
4520 failure = VERIFY_ERROR_GENERIC;
4523 if (VERIFY_OK(failure)) {
4525 dstType, &failure);
4537 &failure);
4538 if (!VERIFY_OK(failure))
4541 &failure);
4542 if (!VERIFY_OK(failure))
4549 failure = VERIFY_ERROR_GENERIC;
4552 if (VERIFY_OK(failure)) {
4555 regTypeFromClass(fieldClass), &failure);
4581 &failure);
4594 failure = VERIFY_ERROR_GENERIC;
4599 &failure);
4600 if (!VERIFY_OK(failure))
4603 &failure);
4604 if (!VERIFY_OK(failure))
4606 checkFinalFieldAccess(meth, &instField->field, &failure);
4607 if (!VERIFY_OK(failure))
4618 failure = VERIFY_ERROR_GENERIC;
4625 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4626 if (VERIFY_OK(failure)) {
4628 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4629 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4630 checkWidePair(tmpType, typeHi, &failure);
4632 if (VERIFY_OK(failure)) {
4637 &failure);
4638 if (!VERIFY_OK(failure))
4641 &failure);
4642 if (!VERIFY_OK(failure))
4644 checkFinalFieldAccess(meth, &instField->field, &failure);
4645 if (!VERIFY_OK(failure))
4658 failure = VERIFY_ERROR_GENERIC;
4672 &failure);
4673 if (!VERIFY_OK(failure))
4676 &failure);
4677 if (!VERIFY_OK(failure))
4679 checkFinalFieldAccess(meth, &instField->field, &failure);
4680 if (!VERIFY_OK(failure))
4687 failure = VERIFY_ERROR_GENERIC;
4692 &failure);
4693 if (!VERIFY_OK(failure))
4699 failure = VERIFY_ERROR_GENERIC;
4707 failure = VERIFY_ERROR_GENERIC;
4718 failure = VERIFY_ERROR_GENERIC;
4746 staticField = getStaticField(meth, decInsn.vB, &failure);
4747 if (!VERIFY_OK(failure))
4763 failure = VERIFY_ERROR_GENERIC;
4768 &failure);
4777 staticField = getStaticField(meth, decInsn.vB, &failure);
4778 if (!VERIFY_OK(failure))
4793 failure = VERIFY_ERROR_GENERIC;
4796 if (VERIFY_OK(failure)) {
4798 dstType, &failure);
4808 staticField = getStaticField(meth, decInsn.vB, &failure);
4809 if (!VERIFY_OK(failure))
4815 failure = VERIFY_ERROR_GENERIC;
4820 failure = VERIFY_ERROR_GENERIC;
4824 regTypeFromClass(fieldClass), &failure);
4849 &failure);
4862 failure = VERIFY_ERROR_GENERIC;
4866 staticField = getStaticField(meth, decInsn.vB, &failure);
4867 if (!VERIFY_OK(failure))
4869 checkFinalFieldAccess(meth, &staticField->field, &failure);
4870 if (!VERIFY_OK(failure))
4885 failure = VERIFY_ERROR_GENERIC;
4892 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4893 if (VERIFY_OK(failure)) {
4895 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4896 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4897 checkWidePair(tmpType, typeHi, &failure);
4899 if (VERIFY_OK(failure)) {
4902 staticField = getStaticField(meth, decInsn.vB, &failure);
4903 if (!VERIFY_OK(failure))
4905 checkFinalFieldAccess(meth, &staticField->field, &failure);
4906 if (!VERIFY_OK(failure))
4919 failure = VERIFY_ERROR_GENERIC;
4932 staticField = getStaticField(meth, decInsn.vB, &failure);
4933 if (!VERIFY_OK(failure))
4935 checkFinalFieldAccess(meth, &staticField->field, &failure);
4936 if (!VERIFY_OK(failure))
4943 failure = VERIFY_ERROR_GENERIC;
4948 &failure);
4949 if (!VERIFY_OK(failure))
4955 failure = VERIFY_ERROR_GENERIC;
4963 failure = VERIFY_ERROR_GENERIC;
4974 failure = VERIFY_ERROR_GENERIC;
4998 isSuper, &failure);
4999 if (!VERIFY_OK(failure))
5002 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
5016 false, &failure);
5017 if (!VERIFY_OK(failure))
5032 &decInsn, &failure);
5033 if (!VERIFY_OK(failure))
5039 failure = VERIFY_ERROR_GENERIC;
5053 failure = VERIFY_ERROR_GENERIC;
5059 failure = VERIFY_ERROR_GENERIC;
5066 failure = VERIFY_ERROR_GENERIC;
5077 thisType, &failure);
5078 if (!VERIFY_OK(failure))
5083 returnType, &failure);
5097 false, &failure);
5098 if (!VERIFY_OK(failure))
5102 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
5116 false, &failure);
5117 if (!VERIFY_OK(failure))
5127 &decInsn, &failure);
5128 if (!VERIFY_OK(failure))
5139 failure = VERIFY_ERROR_GENERIC;
5155 failure = VERIFY_ERROR_GENERIC;
5167 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
5175 kRegTypeInteger, kRegTypeInteger, &failure);
5180 kRegTypeLongLo, kRegTypeLongLo, &failure);
5184 kRegTypeFloat, kRegTypeFloat, &failure);
5188 kRegTypeDoubleLo, kRegTypeDoubleLo, &failure);
5192 kRegTypeLongLo, kRegTypeInteger, &failure);
5196 kRegTypeFloat, kRegTypeInteger, &failure);
5200 kRegTypeDoubleLo, kRegTypeInteger, &failure);
5204 kRegTypeInteger, kRegTypeLongLo, &failure);
5208 kRegTypeFloat, kRegTypeLongLo, &failure);
5212 kRegTypeDoubleLo, kRegTypeLongLo, &failure);
5216 kRegTypeInteger, kRegTypeFloat, &failure);
5220 kRegTypeLongLo, kRegTypeFloat, &failure);
5224 kRegTypeDoubleLo, kRegTypeFloat, &failure);
5228 kRegTypeInteger, kRegTypeDoubleLo, &failure);
5232 kRegTypeLongLo, kRegTypeDoubleLo, &failure);
5236 kRegTypeFloat, kRegTypeDoubleLo, &failure);
5240 kRegTypeByte, kRegTypeInteger, &failure);
5244 kRegTypeChar, kRegTypeInteger, &failure);
5248 kRegTypeShort, kRegTypeInteger, &failure);
5260 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5266 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5277 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5284 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5292 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5301 &failure);
5311 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5317 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5321 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5332 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5338 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5346 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5355 &failure);
5363 kRegTypeInteger, kRegTypeInteger, false, &failure);
5369 kRegTypeInteger, kRegTypeInteger, true, &failure);
5378 kRegTypeInteger, kRegTypeInteger, false, &failure);
5382 decInsn.vB, decInsn.vC, false, &failure);
5384 tmpType, kRegTypeInteger, false, &failure);
5388 decInsn.vB, decInsn.vC, true, &failure);
5390 tmpType, kRegTypeInteger, false, &failure);
5396 kRegTypeInteger, kRegTypeInteger, true, &failure);
5452 failure = VERIFY_ERROR_GENERIC;
5468 failure = VERIFY_ERROR_GENERIC;
5477 if (!VERIFY_OK(failure)) {
5478 if (failure == VERIFY_ERROR_GENERIC || gDvm.optimizing) {
5479 /* immediate failure, reject class */
5487 if (!replaceFailingInstruction(meth, insnFlags, insnIdx, failure)) {
5496 failure = VERIFY_ERROR_NONE;
