Home | History | Annotate | Download | only in verifier

Lines Matching full:uninitialized

115     // Before we mark all regs as conflicts, check that we don't have an uninitialized this.
1666 // argument as uninitialized. This restricts field access until the superclass constructor is
2164 // Disallow returning undefined, conflict & uninitialized values and verify that the
2171 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "returning uninitialized object '"
2375 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "check-cast on uninitialized reference in v"
2378 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "instance-of on uninitialized reference in v"
2420 const RegType& uninit_type = reg_types_.Uninitialized(res_type, work_insn_idx_);
2424 // add the new uninitialized reference to the register state
2924 /* arg must be an uninitialized reference */
2926 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected initialization on uninitialized reference "
2932 * Replace the uninitialized reference with an initialized one. We need to do this for all
2990 Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "interface call on uninitialized object "
4209 // Note: given an uninitialized type, this should always fail. Constructors aren't virtual.
4575 // Field accesses through uninitialized references are only allowable for constructors where
4621 // One is not allowed to access fields on uninitialized references, except to write to
4623 // GetInstanceField does an assignability check which will fail for uninitialized types.
4624 // We thus modify the type if the uninitialized reference is a "this" reference (this also