Lines Matching refs:failure
782 VerifyError failure = VERIFY_ERROR_NONE;
838 lookupClassByDescriptor(meth, descriptor, &failure);
839 if (!VERIFY_OK(failure))
996 VerifyError failure = VERIFY_ERROR_NONE;
998 lookupClassByDescriptor(meth, descriptor, &failure);
999 failure));
1100 * Returns the resolved method on success, NULL on failure (with *pFailure
1125 /* failed; print a meaningful failure message */
2686 * on failure.
2757 * on failure.
2786 * Sets "*pFailure" on failure.
3240 int insnIdx, VerifyError failure)
3335 /* encode the opcode, with the failure code in the high byte */
3338 (failure << 8) | (refType << (8 + kVerifyErrorRefTypeShift));
3839 VerifyError failure = VERIFY_ERROR_NONE;
3875 failure = VERIFY_ERROR_GENERIC;
3883 &failure);
3888 copyRegister2(workLine, decInsn.vA, decInsn.vB, &failure);
3894 &failure);
3910 kTypeCategory1nr, &failure);
3913 copyResultRegister2(workLine, insnRegCount, decInsn.vA, &failure);
3917 kTypeCategoryRef, &failure);
3930 resClass = getCaughtExceptionType(meth, insnIdx, &failure);
3932 assert(!VERIFY_OK(failure));
3940 failure = VERIFY_ERROR_GENERIC;
3943 failure = VERIFY_ERROR_GENERIC;
3948 failure = VERIFY_ERROR_GENERIC;
3952 checkTypeCategory(returnType, kTypeCategory1nr, &failure);
3953 if (!VERIFY_OK(failure))
3969 verifyRegisterType(workLine, decInsn.vA, returnType, &failure);
3970 if (!VERIFY_OK(failure)) {
3978 failure = VERIFY_ERROR_GENERIC;
3984 checkTypeCategory(returnType, kTypeCategory2, &failure);
3985 if (!VERIFY_OK(failure))
3989 verifyRegisterType(workLine, decInsn.vA, returnType, &failure);
3990 if (!VERIFY_OK(failure)) {
3998 failure = VERIFY_ERROR_GENERIC;
4001 checkTypeCategory(returnType, kTypeCategoryRef, &failure);
4002 if (!VERIFY_OK(failure)) {
4024 resClass = getClassFromRegister(workLine, decInsn.vA, &failure);
4025 if (!VERIFY_OK(failure))
4034 failure = VERIFY_ERROR_GENERIC;
4069 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
4075 assert(failure != VERIFY_ERROR_GENERIC);
4083 handleMonitorEnter(workLine, decInsn.vA, insnIdx, &failure);
4108 handleMonitorExit(workLine, decInsn.vA, insnIdx, &failure);
4120 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
4126 assert(failure != VERIFY_ERROR_GENERIC);
4133 failure = VERIFY_ERROR_GENERIC;
4144 failure = VERIFY_ERROR_GENERIC;
4149 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
4155 assert(failure != VERIFY_ERROR_GENERIC);
4163 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4164 if (!VERIFY_OK(failure))
4168 failure = VERIFY_ERROR_GENERIC;
4175 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
4181 assert(failure != VERIFY_ERROR_GENERIC);
4189 failure = VERIFY_ERROR_INSTANTIATION;
4210 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure);
4216 assert(failure != VERIFY_ERROR_GENERIC);
4219 failure = VERIFY_ERROR_GENERIC;
4222 verifyRegisterType(workLine, decInsn.vB, kRegTypeInteger, &failure);
4229 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure);
4235 assert(failure != VERIFY_ERROR_GENERIC);
4238 failure = VERIFY_ERROR_GENERIC;
4244 resClass, isRange, &failure);
4254 verifyRegisterType(workLine, decInsn.vB, kRegTypeFloat, &failure);
4255 verifyRegisterType(workLine, decInsn.vC, kRegTypeFloat, &failure);
4260 verifyRegisterType(workLine, decInsn.vB, kRegTypeDoubleLo, &failure);
4261 verifyRegisterType(workLine, decInsn.vC, kRegTypeDoubleLo, &failure);
4265 verifyRegisterType(workLine, decInsn.vB, kRegTypeLongLo, &failure);
4266 verifyRegisterType(workLine, decInsn.vC, kRegTypeLongLo, &failure);
4271 resClass = getClassFromRegister(workLine, decInsn.vA, &failure);
4272 if (VERIFY_OK(failure) && resClass != NULL) {
4276 failure = VERIFY_ERROR_GENERIC;
4290 verifyRegisterType(workLine, decInsn.vA, kRegTypeInteger, &failure);
4300 resClass = getClassFromRegister(workLine, decInsn.vA, &failure);
4301 if (!VERIFY_OK(failure))
4314 failure = VERIFY_ERROR_GENERIC;
4329 failure = VERIFY_ERROR_GENERIC;
4363 failure = VERIFY_ERROR_GENERIC;
4381 checkTypeCategory(type1, kTypeCategory1nr, &failure);
4382 checkTypeCategory(type2, kTypeCategory1nr, &failure);
4384 failure = VERIFY_ERROR_GENERIC;
4386 if (!VERIFY_OK(failure)) {
4397 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4399 failure = VERIFY_ERROR_GENERIC;
4401 if (!VERIFY_OK(failure)) {
4406 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4408 failure = VERIFY_ERROR_GENERIC;
4410 if (!VERIFY_OK(failure)) {
4420 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4422 failure = VERIFY_ERROR_GENERIC;
4424 if (!VERIFY_OK(failure))
4432 checkTypeCategory(tmpType, kTypeCategory1nr, &failure);
4434 failure = VERIFY_ERROR_GENERIC;
4436 if (!VERIFY_OK(failure))
4460 checkArrayIndexType(meth, indexType, &failure);
4461 if (!VERIFY_OK(failure))
4464 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4465 if (!VERIFY_OK(failure))
4474 failure = VERIFY_ERROR_GENERIC;
4490 failure = VERIFY_ERROR_GENERIC;
4509 checkArrayIndexType(meth, indexType, &failure);
4510 if (!VERIFY_OK(failure))
4513 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4514 if (!VERIFY_OK(failure))
4523 failure = VERIFY_ERROR_GENERIC;
4539 failure = VERIFY_ERROR_GENERIC;
4558 checkArrayIndexType(meth, indexType, &failure);
4559 if (!VERIFY_OK(failure))
4563 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4564 if (!VERIFY_OK(failure))
4572 failure = VERIFY_ERROR_GENERIC;
4592 failure = VERIFY_ERROR_GENERIC;
4630 checkArrayIndexType(meth, indexType, &failure);
4631 if (!VERIFY_OK(failure))
4644 failure = VERIFY_ERROR_GENERIC;
4648 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4649 if (!VERIFY_OK(failure))
4660 failure = VERIFY_ERROR_GENERIC;
4672 verifyRegisterType(workLine, decInsn.vA, dstType, &failure);
4678 failure = VERIFY_ERROR_GENERIC;
4685 checkArrayIndexType(meth, tmpType, &failure);
4686 if (!VERIFY_OK(failure))
4689 resClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4690 if (!VERIFY_OK(failure))
4699 failure = VERIFY_ERROR_GENERIC;
4705 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure);
4708 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure);
4713 failure = VERIFY_ERROR_GENERIC;
4720 checkArrayIndexType(meth, tmpType, &failure);
4721 if (!VERIFY_OK(failure))
4725 resClass = getClassFromRegister(workLine, decInsn.vA, &failure);
4726 if (!VERIFY_OK(failure))
4737 arrayClass = getClassFromRegister(workLine, decInsn.vB, &failure);
4744 failure = VERIFY_ERROR_GENERIC;
4769 failure = VERIFY_ERROR_GENERIC;
4798 &failure);
4799 if (!VERIFY_OK(failure))
4815 failure = VERIFY_ERROR_GENERIC;
4830 &failure);
4831 if (!VERIFY_OK(failure))
4846 failure = VERIFY_ERROR_GENERIC;
4849 if (VERIFY_OK(failure)) {
4862 &failure);
4863 if (!VERIFY_OK(failure))
4870 failure = VERIFY_ERROR_GENERIC;
4873 if (VERIFY_OK(failure)) {
4917 failure = VERIFY_ERROR_GENERIC;
4923 &failure);
4924 if (!VERIFY_OK(failure))
4926 checkFinalFieldAccess(meth, instField, &failure);
4927 if (!VERIFY_OK(failure))
4940 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure);
4948 failure = VERIFY_ERROR_GENERIC;
4957 checkTypeCategory(tmpType, kTypeCategory2, &failure);
4958 checkWidePair(tmpType, typeHi, &failure);
4960 if (!VERIFY_OK(failure))
4968 &failure);
4969 if (!VERIFY_OK(failure))
4971 checkFinalFieldAccess(meth, instField, &failure);
4972 if (!VERIFY_OK(failure))
4978 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure);
4981 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure);
4987 failure = VERIFY_ERROR_GENERIC;
5000 &failure);
5001 if (!VERIFY_OK(failure))
5003 checkFinalFieldAccess(meth, instField, &failure);
5004 if (!VERIFY_OK(failure))
5011 failure = VERIFY_ERROR_GENERIC;
5020 failure = VERIFY_ERROR_GENERIC;
5028 failure = VERIFY_ERROR_GENERIC;
5039 failure = VERIFY_ERROR_GENERIC;
5066 staticField = getStaticField(meth, decInsn.vB, &failure);
5067 if (!VERIFY_OK(failure))
5087 failure = VERIFY_ERROR_GENERIC;
5099 staticField = getStaticField(meth, decInsn.vB, &failure);
5100 if (!VERIFY_OK(failure))
5115 failure = VERIFY_ERROR_GENERIC;
5118 if (VERIFY_OK(failure)) {
5128 staticField = getStaticField(meth, decInsn.vB, &failure);
5129 if (!VERIFY_OK(failure))
5135 failure = VERIFY_ERROR_GENERIC;
5140 failure = VERIFY_ERROR_GENERIC;
5183 failure = VERIFY_ERROR_GENERIC;
5187 staticField = getStaticField(meth, decInsn.vB, &failure);
5188 if (!VERIFY_OK(failure))
5190 checkFinalFieldAccess(meth, staticField, &failure);
5191 if (!VERIFY_OK(failure))
5210 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure);
5217 failure = VERIFY_ERROR_GENERIC;
5226 checkTypeCategory(tmpType, kTypeCategory2, &failure);
5227 checkWidePair(tmpType, typeHi, &failure);
5229 if (!VERIFY_OK(failure))
5234 staticField = getStaticField(meth, decInsn.vB, &failure);
5235 if (!VERIFY_OK(failure))
5237 checkFinalFieldAccess(meth, staticField, &failure);
5238 if (!VERIFY_OK(failure))
5244 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure);
5247 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure);
5253 failure = VERIFY_ERROR_GENERIC;
5264 staticField = getStaticField(meth, decInsn.vB, &failure);
5265 if (!VERIFY_OK(failure))
5267 checkFinalFieldAccess(meth, staticField, &failure);
5268 if (!VERIFY_OK(failure))
5275 failure = VERIFY_ERROR_GENERIC;
5284 failure = VERIFY_ERROR_GENERIC;
5292 failure = VERIFY_ERROR_GENERIC;
5303 failure = VERIFY_ERROR_GENERIC;
5327 isSuper, &failure);
5328 if (!VERIFY_OK(failure))
5345 false, &failure);
5346 if (!VERIFY_OK(failure))
5360 thisType = getInvocationThis(workLine, &decInsn, &failure);
5361 if (!VERIFY_OK(failure))
5367 failure = VERIFY_ERROR_GENERIC;
5381 failure = VERIFY_ERROR_GENERIC;
5387 failure = VERIFY_ERROR_GENERIC;
5394 failure = VERIFY_ERROR_GENERIC;
5405 thisType, &failure);
5406 if (!VERIFY_OK(failure))
5424 false, &failure);
5425 if (!VERIFY_OK(failure))
5443 false, &failure);
5444 if (!VERIFY_OK(failure))
5453 thisType = getInvocationThis(workLine, &decInsn, &failure);
5454 if (!VERIFY_OK(failure))
5465 failure = VERIFY_ERROR_GENERIC;
5481 failure = VERIFY_ERROR_GENERIC;
5501 kRegTypeInteger, kRegTypeInteger, &failure);
5506 kRegTypeLongLo, kRegTypeLongLo, &failure);
5510 kRegTypeFloat, kRegTypeFloat, &failure);
5514 kRegTypeDoubleLo, kRegTypeDoubleLo, &failure);
5518 kRegTypeLongLo, kRegTypeInteger, &failure);
5522 kRegTypeFloat, kRegTypeInteger, &failure);
5526 kRegTypeDoubleLo, kRegTypeInteger, &failure);
5530 kRegTypeInteger, kRegTypeLongLo, &failure);
5534 kRegTypeFloat, kRegTypeLongLo, &failure);
5538 kRegTypeDoubleLo, kRegTypeLongLo, &failure);
5542 kRegTypeInteger, kRegTypeFloat, &failure);
5546 kRegTypeLongLo, kRegTypeFloat, &failure);
5550 kRegTypeDoubleLo, kRegTypeFloat, &failure);
5554 kRegTypeInteger, kRegTypeDoubleLo, &failure);
5558 kRegTypeLongLo, kRegTypeDoubleLo, &failure);
5562 kRegTypeFloat, kRegTypeDoubleLo, &failure);
5566 kRegTypeByte, kRegTypeInteger, &failure);
5570 kRegTypeChar, kRegTypeInteger, &failure);
5574 kRegTypeShort, kRegTypeInteger, &failure);
5586 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5592 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5603 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5610 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5618 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5627 &failure);
5637 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5643 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, true, &failure);
5647 kRegTypeInteger, kRegTypeInteger, kRegTypeInteger, false, &failure);
5658 kRegTypeLongLo, kRegTypeLongLo, kRegTypeLongLo, false, &failure);
5664 kRegTypeLongLo, kRegTypeLongLo, kRegTypeInteger, false, &failure);
5672 kRegTypeFloat, kRegTypeFloat, kRegTypeFloat, false, &failure);
5681 &failure);
5689 kRegTypeInteger, kRegTypeInteger, false, &failure);
5695 kRegTypeInteger, kRegTypeInteger, true, &failure);
5704 kRegTypeInteger, kRegTypeInteger, false, &failure);
5708 decInsn.vB, decInsn.vC, false, &failure);
5710 tmpType, kRegTypeInteger, false, &failure);
5714 decInsn.vB, decInsn.vC, true, &failure);
5716 tmpType, kRegTypeInteger, false, &failure);
5722 kRegTypeInteger, kRegTypeInteger, true, &failure);
5777 /* fall through to failure */
5800 /* fall through to failure */
5814 failure = VERIFY_ERROR_GENERIC;
5823 if (!VERIFY_OK(failure)) {
5824 if (failure == VERIFY_ERROR_GENERIC || gDvm.optimizing) {
5825 /* immediate failure, reject class */
5833 if (!replaceFailingInstruction(meth, insnFlags, insnIdx, failure)) {
5842 failure = VERIFY_ERROR_NONE;
