Home | History | Annotate | Download | only in verifier

Lines Matching defs:exception

470   // Flag instructions guarded by a "try" block and check exception handlers.
614 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "bad exception entry: startAddr=" << start
638 << "exception handler starts at bad address (" << dex_pc << ")";
642 // Ensure exception types are resolved so that they don't need resolution to be delivered,
643 // unresolved exception types will be ignored by exception delivery
1452 * unconditional branches, method returns, and exception throws.
1455 * (3) Exception handlers. Applies to any instruction that can
1456 * throw an exception that is handled by an encompassing "try"
1478 * can throw an exception, we will copy/merge this into the "catch"
1481 * a type) to be visible to the exception handler.
1559 // where one entrypoint to the catch block is not actually an exception path.
1561 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "move-exception at pc 0x0";
1565 * This statement can only appear as the first instruction in an exception handler. We verify
1566 * that as part of extracting the exception type from the catch block list.
1753 * If it fails, an exception is thrown, which we deal with later by ignoring the update to
2854 // Clear exception.
2862 * "work_regs", because at runtime the exception will be thrown before the instruction
2872 * instruction. This does apply to monitor-exit because of async exception handling.
2899 // The only way to get to a move-exception instruction is to get thrown there. Make sure the
3004 RegType& exception = ResolveClassAndCheckAccess(iterator.GetHandlerTypeIndex());
3005 if (!reg_types_.JavaLangThrowable(false).IsAssignableFrom(exception)) {
3006 if (exception.IsUnresolvedTypes()) {
3008 Fail(VERIFY_ERROR_NO_CLASS) << "unresolved exception class " << exception;
3009 return exception;
3011 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unexpected non-exception class " << exception;
3015 common_super = &exception;
3016 } else if (common_super->Equals(exception)) {
3019 common_super = &common_super->Merge(exception, &reg_types_);
3035 Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "unable to find exception handler";
3373 "Unexpected exception pending for quickened invoke at ",
3650 // incompatible classes will be caught at runtime as an array store exception
3726 // Cannot infer and check type, however, access will cause null pointer exception
4018 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid use of move-exception";