Cross Reference: /dalvik/vm/analysis/CodeVerify.cpp

Lines Matching refs:pFailure
112     const DecodedInstruction* pDecInsn, VerifyError* pFailure);
114     u4 vsrc, RegType checkType, VerifyError* pFailure);
616     const char* pDescriptor, VerifyError* pFailure)
654                 *pFailure = VERIFY_ERROR_GENERIC;
676             *pFailure = VERIFY_ERROR_GENERIC;
680             *pFailure = VERIFY_ERROR_GENERIC;
686         *pFailure = VERIFY_ERROR_GENERIC;
703     VerifyError* pFailure)
714         *pFailure = VERIFY_ERROR_GENERIC;
726     return lookupClassByDescriptor(meth, typeStr, pFailure);
738     const char** pSig, VerifyError* pFailure)
754             *pFailure = VERIFY_ERROR_GENERIC;
766     return lookupClassByDescriptor(meth, typeStr, pFailure);
1100  * Returns the resolved method on success, NULL on failure (with *pFailure
1106     MethodType methodType, bool isRange, bool isSuper, VerifyError* pFailure)
1122             pFailure);
1148         if (VERIFY_OK(*pFailure))       /* not set for interface resolve */
1149             *pFailure = VERIFY_ERROR_NO_METHOD;
1190             *pFailure = VERIFY_ERROR_NO_METHOD;
1228         actualArgType = getInvocationThis(registerLine, pDecInsn, pFailure);
1229         if (!VERIFY_OK(*pFailure))
1269                 ClassObject* clazz = lookupSignatureClass(meth, &sig, pFailure);
1270                 if (!VERIFY_OK(*pFailure))
1273                     regTypeFromClass(clazz), pFailure);
1274                 if (!VERIFY_OK(*pFailure)) {
1285                     lookupSignatureArrayClass(meth, &sig, pFailure);
1286                 if (!VERIFY_OK(*pFailure))
1289                     regTypeFromClass(clazz), pFailure);
1290                 if (!VERIFY_OK(*pFailure)) {
1299             verifyRegisterType(registerLine, getReg, kRegTypeBoolean, pFailure);
1303             verifyRegisterType(registerLine, getReg, kRegTypeChar, pFailure);
1307             verifyRegisterType(registerLine, getReg, kRegTypeByte, pFailure);
1311             verifyRegisterType(registerLine, getReg, kRegTypeInteger, pFailure);
1315             verifyRegisterType(registerLine, getReg, kRegTypeShort, pFailure);
1319             verifyRegisterType(registerLine, getReg, kRegTypeFloat, pFailure);
1323             verifyRegisterType(registerLine, getReg, kRegTypeDoubleLo, pFailure);
1327             verifyRegisterType(registerLine, getReg, kRegTypeLongLo, pFailure);
1363     if (*pFailure == VERIFY_ERROR_NONE)
1364         *pFailure = VERIFY_ERROR_GENERIC;
1420  * "*pFailure" if something fails.
1427     u4 vsrc, VerifyError* pFailure)
1442         *pFailure = VERIFY_ERROR_GENERIC;
1447         *pFailure = VERIFY_ERROR_GENERIC;
1468     const DecodedInstruction* pDecInsn, VerifyError* pFailure)
1474         *pFailure = VERIFY_ERROR_GENERIC;
1483         *pFailure = VERIFY_ERROR_GENERIC;
1587     RegType checkType, VerifyError* pFailure)
1605             *pFailure = VERIFY_ERROR_GENERIC;
1621             *pFailure = VERIFY_ERROR_GENERIC;
1626             *pFailure = VERIFY_ERROR_GENERIC;
1644         *pFailure = VERIFY_ERROR_GENERIC;
1652             *pFailure = VERIFY_ERROR_GENERIC;
1657             *pFailure = VERIFY_ERROR_GENERIC;
1663             *pFailure = VERIFY_ERROR_GENERIC;
1668             *pFailure = VERIFY_ERROR_GENERIC;
1690                     *pFailure = VERIFY_ERROR_GENERIC;
1697                     *pFailure = VERIFY_ERROR_GENERIC;
1722     UninitInstanceMap* uninitMap, RegType uninitType, VerifyError* pFailure)
1733         *pFailure = VERIFY_ERROR_GENERIC;
1895  * Sets "*pFailure" if something looks wrong.
1898     VerifyError* pFailure)
1921             *pFailure = VERIFY_ERROR_GENERIC;
1933             *pFailure = VERIFY_ERROR_GENERIC;
1940             *pFailure = VERIFY_ERROR_GENERIC;
1945         *pFailure = VERIFY_ERROR_GENERIC;
1957 static void checkWidePair(RegType typel, RegType typeh, VerifyError* pFailure)
1960         *pFailure = VERIFY_ERROR_GENERIC;
1968     TypeCategory cat, VerifyError* pFailure)
1972     checkTypeCategory(type, cat, pFailure);
1973     if (!VERIFY_OK(*pFailure)) {
1989     VerifyError* pFailure)
1994     checkTypeCategory(typel, kTypeCategory2, pFailure);
1995     checkWidePair(typel, typeh, pFailure);
1996     if (!VERIFY_OK(*pFailure)) {
2009     const int insnRegCount, u4 vdst, TypeCategory cat, VerifyError* pFailure)
2018     checkTypeCategory(type, cat, pFailure);
2019     if (!VERIFY_OK(*pFailure)) {
2034     const int insnRegCount, u4 vdst, VerifyError* pFailure)
2044     checkTypeCategory(typel, kTypeCategory2, pFailure);
2045     checkWidePair(typel, typeh, pFailure);
2046     if (!VERIFY_OK(*pFailure)) {
2062     RegType dstType, RegType srcType, VerifyError* pFailure)
2064     verifyRegisterType(registerLine, pDecInsn->vB, srcType, pFailure);
2110     VerifyError* pFailure)
2112     verifyRegisterType(registerLine, pDecInsn->vB, srcType, pFailure);
2113     if (VERIFY_OK(*pFailure) && checkBooleanOp) {
2132     VerifyError* pFailure)
2134     verifyRegisterType(registerLine, pDecInsn->vB, srcType1, pFailure);
2135     verifyRegisterType(registerLine, pDecInsn->vC, srcType2, pFailure);
2136     if (VERIFY_OK(*pFailure) && checkBooleanOp) {
2150     RegType srcType2, bool checkBooleanOp, VerifyError* pFailure)
2152     verifyRegisterType(registerLine, pDecInsn->vA, srcType1, pFailure);
2153     verifyRegisterType(registerLine, pDecInsn->vB, srcType2, pFailure);
2154     if (VERIFY_OK(*pFailure) && checkBooleanOp) {
2197     unsigned int shiftCount, bool isUnsignedShift, VerifyError* pFailure)
2685  * Returns an InstField on success, returns NULL and sets "*pFailure"
2690     VerifyError* pFailure)
2699         *pFailure = VERIFY_ERROR_GENERIC;
2703     instField = dvmOptResolveInstField(meth->clazz, fieldIdx, pFailure);
2706         assert(!VERIFY_OK(*pFailure));
2723             *pFailure = VERIFY_ERROR_GENERIC;
2733         *pFailure = VERIFY_ERROR_NO_FIELD;
2744             *pFailure = VERIFY_ERROR_GENERIC;
2756  * Returns a StaticField on success, returns NULL and sets "*pFailure"
2760     VerifyError* pFailure)
2764     staticField = dvmOptResolveStaticField(meth->clazz, fieldIdx, pFailure);
2774         assert(!VERIFY_OK(*pFailure));
2786  * Sets "*pFailure" on failure.
2789     VerifyError* pFailure)
2798         *pFailure = VERIFY_ERROR_ACCESS_FIELD;
2814             *pFailure = VERIFY_ERROR_GENERIC;
2820             *pFailure = VERIFY_ERROR_GENERIC;
2829  * Sets "*pFailure" if not.
2832     VerifyError* pFailure)
2834     if (VERIFY_OK(*pFailure)) {
2839         checkTypeCategory(regType, kTypeCategory1nr, pFailure);
2841           *pFailure = VERIFY_ERROR_GENERIC;
2843         if (!VERIFY_OK(*pFailure)) {
2913     VerifyError* pFailure)
2978         *pFailure = VERIFY_ERROR_GENERIC;
3183     ClassObject* resClass, bool isRange, VerifyError* pFailure)
3212         verifyRegisterType(registerLine, getReg, expectedType, pFailure);
3213         if (!VERIFY_OK(*pFailure)) {
3348     VerifyError* pFailure)
3352         *pFailure = VERIFY_ERROR_GENERIC;
3365         *pFailure = VERIFY_ERROR_GENERIC;
3381     VerifyError* pFailure)
3385         *pFailure = VERIFY_ERROR_GENERIC;
3397         *pFailure = VERIFY_ERROR_GENERIC;
3418         *pFailure = VERIFY_ERROR_GENERIC;