Lines Matching refs:failure
719 VerifyError failure = VERIFY_ERROR_NONE;
774 lookupClassByDescriptor(meth, descriptor, &failure);
775 if (!VERIFY_OK(failure))
932 VerifyError failure = VERIFY_ERROR_NONE;
934 lookupClassByDescriptor(meth, descriptor, &failure);
935 assert(VERIFY_OK(failure));
1018 * Returns the resolved method on success, NULL on failure (with *pFailure
1040 /* failed; print a meaningful failure message */
2473 * on failure.
2544 * on failure.
2573 * Sets "*pFailure" on failure.
2938 int insnIdx, VerifyError failure)
3034 /* encode the opcode, with the failure code in the high byte */
3036 (failure << 8) | (refType << (8 + kVerifyErrorRefTypeShift));
3483 VerifyError failure = VERIFY_ERROR_NONE;
3518 failure = VERIFY_ERROR_GENERIC;
3526 kTypeCategory1nr, &failure);
3531 copyRegister2(workRegs, insnRegCount, decInsn.vA, decInsn.vB, &failure);
3537 kTypeCategoryRef, &failure);
3553 kTypeCategory1nr, &failure);
3556 copyResultRegister2(workRegs, insnRegCount, decInsn.vA, &failure);
3560 kTypeCategoryRef, &failure);
3573 resClass = getCaughtExceptionType(meth, insnIdx, &failure);
3575 assert(!VERIFY_OK(failure));
3578 regTypeFromClass(resClass), &failure);
3584 failure = VERIFY_ERROR_GENERIC;
3587 failure = VERIFY_ERROR_GENERIC;
3592 failure = VERIFY_ERROR_GENERIC;
3596 checkTypeCategory(returnType, kTypeCategory1nr, &failure);
3597 if (!VERIFY_OK(failure))
3602 &failure);
3603 checkTypeCategory(returnType, kTypeCategory1nr, &failure);
3604 if (!VERIFY_OK(failure))
3610 failure = VERIFY_ERROR_GENERIC;
3616 checkTypeCategory(returnType, kTypeCategory2, &failure);
3617 if (!VERIFY_OK(failure))
3622 &failure);
3624 decInsn.vA +1, &failure);
3625 if (VERIFY_OK(failure)) {
3626 checkTypeCategory(returnType, kTypeCategory2, &failure);
3627 checkWidePair(returnType, returnTypeHi, &failure);
3629 if (!VERIFY_OK(failure)) {
3637 failure = VERIFY_ERROR_GENERIC;
3640 checkTypeCategory(returnType, kTypeCategoryRef, &failure);
3641 if (!VERIFY_OK(failure)) {
3664 decInsn.vA, &failure);
3665 if (!VERIFY_OK(failure))
3674 failure = VERIFY_ERROR_GENERIC;
3686 dvmDetermineCat1Const((s4)decInsn.vB), &failure);
3691 dvmDetermineCat1Const((s4) decInsn.vB << 16), &failure);
3699 kRegTypeLongLo, &failure);
3705 regTypeFromClass(gDvm.classJavaLangString), &failure);
3710 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3716 assert(failure != VERIFY_ERROR_GENERIC);
3719 regTypeFromClass(gDvm.classJavaLangClass), &failure);
3725 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
3726 if (VERIFY_OK(failure)) {
3729 failure = VERIFY_ERROR_GENERIC;
3743 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3749 assert(failure != VERIFY_ERROR_GENERIC);
3754 &failure);
3755 if (!VERIFY_OK(failure))
3759 failure = VERIFY_ERROR_GENERIC;
3763 regTypeFromClass(resClass), &failure);
3768 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vB, &failure);
3769 if (!VERIFY_OK(failure))
3773 failure = VERIFY_ERROR_GENERIC;
3778 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
3784 assert(failure != VERIFY_ERROR_GENERIC);
3788 kRegTypeBoolean, &failure);
3794 decInsn.vB, &failure);
3795 if (!VERIFY_OK(failure))
3799 failure = VERIFY_ERROR_GENERIC;
3803 &failure);
3807 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3813 assert(failure != VERIFY_ERROR_GENERIC);
3821 failure = VERIFY_ERROR_INSTANTIATION;
3839 uninitType, &failure);
3843 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
3849 assert(failure != VERIFY_ERROR_GENERIC);
3852 failure = VERIFY_ERROR_GENERIC;
3856 kRegTypeInteger, &failure);
3859 regTypeFromClass(resClass), &failure);
3864 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
3870 failure != VERIFY_ERROR_GENERIC);
3873 failure = VERIFY_ERROR_GENERIC;
3879 resClass, isRange, &failure);
3882 regTypeFromClass(resClass), &failure);
3890 &failure);
3892 &failure);
3894 &failure);
3899 &failure);
3901 &failure);
3903 &failure);
3907 &failure);
3909 &failure);
3911 &failure);
3916 decInsn.vA, &failure);
3917 if (VERIFY_OK(failure) && resClass != NULL) {
3921 failure = VERIFY_ERROR_GENERIC;
3936 kRegTypeInteger, &failure);
3947 decInsn.vA, &failure);
3948 if (!VERIFY_OK(failure))
3961 failure = VERIFY_ERROR_GENERIC;
3976 failure = VERIFY_ERROR_GENERIC;
4010 failure = VERIFY_ERROR_GENERIC;
4022 &failure);
4024 &failure);
4025 if (!VERIFY_OK(failure))
4033 checkTypeCategory(type1, kTypeCategory1nr, &failure);
4034 checkTypeCategory(type2, kTypeCategory1nr, &failure);
4035 if (!VERIFY_OK(failure)) {
4045 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4046 if (!VERIFY_OK(failure))
4048 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4049 if (!VERIFY_OK(failure)) {
4053 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vB, &failure);
4054 if (!VERIFY_OK(failure))
4056 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4057 if (!VERIFY_OK(failure)) {
4064 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4065 if (!VERIFY_OK(failure))
4069 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4070 if (!VERIFY_OK(failure))
4077 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4078 if (!VERIFY_OK(failure))
4080 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4081 if (!VERIFY_OK(failure))
4105 &failure);
4106 checkArrayIndexType(meth, indexType, &failure);
4107 if (!VERIFY_OK(failure))
4111 decInsn.vB, &failure);
4112 if (!VERIFY_OK(failure))
4121 failure = VERIFY_ERROR_GENERIC;
4133 failure = VERIFY_ERROR_GENERIC;
4139 tmpType, &failure);
4148 &failure);
4149 checkArrayIndexType(meth, indexType, &failure);
4150 if (!VERIFY_OK(failure))
4154 decInsn.vB, &failure);
4155 if (!VERIFY_OK(failure))
4164 failure = VERIFY_ERROR_GENERIC;
4180 failure = VERIFY_ERROR_GENERIC;
4193 dstType, &failure);
4202 &failure);
4203 checkArrayIndexType(meth, indexType, &failure);
4204 if (!VERIFY_OK(failure))
4209 decInsn.vB, &failure);
4210 if (!VERIFY_OK(failure))
4218 failure = VERIFY_ERROR_GENERIC;
4238 failure = VERIFY_ERROR_GENERIC;
4254 dstType, &failure);
4277 &failure);
4278 checkArrayIndexType(meth, indexType, &failure);
4279 if (!VERIFY_OK(failure))
4284 &failure);
4288 failure = VERIFY_ERROR_GENERIC;
4293 decInsn.vB, &failure);
4294 if (!VERIFY_OK(failure))
4305 failure = VERIFY_ERROR_GENERIC;
4317 failure = VERIFY_ERROR_GENERIC;
4324 &failure);
4325 checkArrayIndexType(meth, tmpType, &failure);
4326 if (!VERIFY_OK(failure))
4329 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4330 if (VERIFY_OK(failure)) {
4332 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4333 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4334 checkWidePair(tmpType, typeHi, &failure);
4336 if (!VERIFY_OK(failure))
4340 decInsn.vB, &failure);
4341 if (!VERIFY_OK(failure))
4350 failure = VERIFY_ERROR_GENERIC;
4362 failure = VERIFY_ERROR_GENERIC;
4369 &failure);
4370 checkArrayIndexType(meth, tmpType, &failure);
4371 if (!VERIFY_OK(failure))
4376 decInsn.vA, &failure);
4377 if (!VERIFY_OK(failure))
4389 decInsn.vB, &failure);
4396 failure = VERIFY_ERROR_GENERIC;
4421 failure = VERIFY_ERROR_GENERIC;
4450 &failure);
4451 if (!VERIFY_OK(failure))
4454 &failure);
4455 if (!VERIFY_OK(failure))
4466 failure = VERIFY_ERROR_GENERIC;
4471 &failure);
4482 &failure);
4483 if (!VERIFY_OK(failure))
4486 &failure);
4487 if (!VERIFY_OK(failure))
4502 failure = VERIFY_ERROR_GENERIC;
4505 if (VERIFY_OK(failure)) {
4507 dstType, &failure);
4518 &failure);
4519 if (!VERIFY_OK(failure))
4522 &failure);
4523 if (!VERIFY_OK(failure))
4530 failure = VERIFY_ERROR_GENERIC;
4533 if (VERIFY_OK(failure)) {
4536 regTypeFromClass(fieldClass), &failure);
4562 &failure);
4575 failure = VERIFY_ERROR_GENERIC;
4580 &failure);
4581 if (!VERIFY_OK(failure))
4584 &failure);
4585 if (!VERIFY_OK(failure))
4587 checkFinalFieldAccess(meth, &instField->field, &failure);
4588 if (!VERIFY_OK(failure))
4599 failure = VERIFY_ERROR_GENERIC;
4605 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4606 if (VERIFY_OK(failure)) {
4608 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4609 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4610 checkWidePair(tmpType, typeHi, &failure);
4612 if (VERIFY_OK(failure)) {
4618 &failure);
4619 if (!VERIFY_OK(failure))
4622 &failure);
4623 if (!VERIFY_OK(failure))
4625 checkFinalFieldAccess(meth, &instField->field, &failure);
4626 if (!VERIFY_OK(failure))
4639 failure = VERIFY_ERROR_GENERIC;
4652 &failure);
4653 if (!VERIFY_OK(failure))
4656 &failure);
4657 if (!VERIFY_OK(failure))
4659 checkFinalFieldAccess(meth, &instField->field, &failure);
4660 if (!VERIFY_OK(failure))
4667 failure = VERIFY_ERROR_GENERIC;
4672 &failure);
4673 if (!VERIFY_OK(failure))
4679 failure = VERIFY_ERROR_GENERIC;
4687 failure = VERIFY_ERROR_GENERIC;
4698 failure = VERIFY_ERROR_GENERIC;
4725 staticField = getStaticField(meth, decInsn.vB, &failure);
4726 if (!VERIFY_OK(failure))
4742 failure = VERIFY_ERROR_GENERIC;
4747 &failure);
4755 staticField = getStaticField(meth, decInsn.vB, &failure);
4756 if (!VERIFY_OK(failure))
4771 failure = VERIFY_ERROR_GENERIC;
4774 if (VERIFY_OK(failure)) {
4776 dstType, &failure);
4785 staticField = getStaticField(meth, decInsn.vB, &failure);
4786 if (!VERIFY_OK(failure))
4792 failure = VERIFY_ERROR_GENERIC;
4797 failure = VERIFY_ERROR_GENERIC;
4801 regTypeFromClass(fieldClass), &failure);
4825 &failure);
4838 failure = VERIFY_ERROR_GENERIC;
4842 staticField = getStaticField(meth, decInsn.vB, &failure);
4843 if (!VERIFY_OK(failure))
4845 checkFinalFieldAccess(meth, &staticField->field, &failure);
4846 if (!VERIFY_OK(failure))
4861 failure = VERIFY_ERROR_GENERIC;
4867 tmpType = getRegisterType(workRegs, insnRegCount, decInsn.vA, &failure);
4868 if (VERIFY_OK(failure)) {
4870 getRegisterType(workRegs, insnRegCount, decInsn.vA+1, &failure);
4871 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4872 checkWidePair(tmpType, typeHi, &failure);
4874 if (VERIFY_OK(failure)) {
4877 staticField = getStaticField(meth, decInsn.vB, &failure);
4878 if (!VERIFY_OK(failure))
4880 checkFinalFieldAccess(meth, &staticField->field, &failure);
4881 if (!VERIFY_OK(failure))
4894 failure = VERIFY_ERROR_GENERIC;
4906 staticField = getStaticField(meth, decInsn.vB, &failure);
4907 if (!VERIFY_OK(failure))
4909 checkFinalFieldAccess(meth, &staticField->field, &failure);
4910 if (!VERIFY_OK(failure))
4917 failure = VERIFY_ERROR_GENERIC;
4922 &failure);
4923 if (!VERIFY_OK(failure))
4929 failure = VERIFY_ERROR_GENERIC;
4937 failure = VERIFY_ERROR_GENERIC;
4948 failure = VERIFY_ERROR_GENERIC;
4972 isSuper, &failure);
4973 if (!VERIFY_OK(failure))
4976 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
4990 false, &failure);
4991 if (!VERIFY_OK(failure))
5006 &decInsn, &failure);
5007 if (!VERIFY_OK(failure))
5013 failure = VERIFY_ERROR_GENERIC;
5027 failure = VERIFY_ERROR_GENERIC;
5033 failure = VERIFY_ERROR_GENERIC;
5040 failure = VERIFY_ERROR_GENERIC;
5052 thisType, &failure);
5053 if (!VERIFY_OK(failure))
5058 returnType, &failure);
5072 false, &failure);
5073 if (!VERIFY_OK(failure))
5077 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
5091 false, &failure);
5092 if (!VERIFY_OK(failure))
5102 &decInsn, &failure);
5103 if (!VERIFY_OK(failure))
5114 failure = VERIFY_ERROR_GENERIC;
5130 failure = VERIFY_ERROR_GENERIC;
5142 setResultRegisterType(workRegs, insnRegCount, returnType, &failure);
5150 kRegTypeInteger, kRegTypeInteger, &failure);
5155 kRegTypeLongLo, kRegTypeLongLo, &failure);
5159 kRegTypeFloat, kRegTypeFloat, &failure);
5163 kRegTypeDoubleLo, kRegTypeDoubleLo, &failure);
5167 kRegTypeLongLo, kRegTypeInteger, &failure);
5171 kRegTypeFloat, kRegTypeInteger, &failure);
5175 kRegTypeDoubleLo, kRegTypeInteger, &failure);
5179 kRegTypeInteger, kRegTypeLongLo, &failure);
5183 kRegTypeFloat, kRegTypeLongLo, &failure);
5187 kRegTypeDoubleLo, kRegTypeLongLo, &failure);
5191 kRegTypeInteger, kRegTypeFloat, &failure);
5195 kRegTypeLongLo, kRegTypeFloat, &failure);
5199 kRegTypeDoubleLo, kRegTypeFloat, &failure);
5203 kRegTypeInteger, kRegTypeDoubleLo, &failure);
5207 kRegTypeLongLo, kRegTypeDoubleLo, &failure);
5211 kRegTypeFloat, kRegTypeDoubleLo, &failure);
5215 kRegTypeByte, kRegTypeInteger, &failure);
5219 kRegTypeChar, kRegTypeInteger, &failure);
5223 kRegTypeShort, kRegTypeInteger, &failure);
5235 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5241 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5252 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5259 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5267 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5276 &failure);
5286 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5292 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5296 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5307 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5313 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5321 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5330 &failure);
5338 kRegTypeInteger, kRegTypeInteger, false, &failure);
5344 kRegTypeInteger, kRegTypeInteger, true, &failure);
5353 kRegTypeInteger, kRegTypeInteger, false, &failure);
5357 decInsn.vB, decInsn.vC, false, &failure);
5359 tmpType, kRegTypeInteger, false, &failure);
5363 decInsn.vB, decInsn.vC, true, &failure);
5365 tmpType, kRegTypeInteger, false, &failure);
5371 kRegTypeInteger, kRegTypeInteger, true, &failure);
5427 failure = VERIFY_ERROR_GENERIC;
5455 failure = VERIFY_ERROR_GENERIC;
5464 if (!VERIFY_OK(failure)) {
5465 if (failure == VERIFY_ERROR_GENERIC || gDvm.optimizing) {
5466 /* immediate failure, reject class */
5474 if (!replaceFailingInstruction(meth, insnFlags, insnIdx, failure)) {
5483 failure = VERIFY_ERROR_NONE;
