Home | History | Annotate | Download | only in verifier

Lines Matching defs:exception

453   // Flag instructions guarded by a "try" block and check exception handlers.
597 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad exception entry: startAddr=" << start
621 << "exception handler starts at bad address (" << dex_pc << ")";
625 // Ensure exception types are resolved so that they don't need resolution to be delivered,
626 // unresolved exception types will be ignored by exception delivery
1435 * unconditional branches, method returns, and exception throws.
1438 * (3) Exception handlers. Applies to any instruction that can
1439 * throw an exception that is handled by an encompassing "try"
1461 * can throw an exception, we will copy/merge this into the "catch"
1464 * a type) to be visible to the exception handler.
1542 * This statement can only appear as the first instruction in an exception handler. We verify
1543 * that as part of extracting the exception type from the catch block list.
1730 * If it fails, an exception is thrown, which we deal with later by ignoring the update to
2819 // Clear exception.
2827 * "work_regs", because at runtime the exception will be thrown before the instruction
2837 * instruction. This does apply to monitor-exit because of async exception handling.
2864 // The only way to get to a move-exception instruction is to get thrown there. Make sure the
2969 RegType& exception = ResolveClassAndCheckAccess(iterator.GetHandlerTypeIndex());
2970 if (!reg_types_.JavaLangThrowable(false).IsAssignableFrom(exception)) {
2971 if (exception.IsUnresolvedTypes()) {
2973 Fail(VERIFY_ERROR_NO_CLASS) << "unresolved exception class " << exception;
2974 return exception;
2976 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unexpected non-exception class " << exception;
2980 common_super = &exception;
2981 } else if (common_super->Equals(exception)) {
2984 common_super = &common_super->Merge(exception, &reg_types_);
2995 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unable to find exception handler";
3588 // incompatible classes will be caught at runtime as an array store exception
3664 // Cannot infer and check type, however, access will cause null pointer exception
3972 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-exception";