Home | History | Annotate | Download | only in verifier

Lines Matching refs:Verify

88  * Identifies the type of reference in the instruction that generated the verify error
147 /* Verify a class. Returns "kNoFailure" on success. */
239 bool Verify() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
381 // Verify an array data table. "cur_offset" is the offset of the fill-array-data instruction.
384 // Verify that the target of a branch instruction is valid. We don't expect code to jump directly
386 // "move-exception" instruction. We verify that in a later stage.
391 // Verify a switch table. "cur_offset" is the offset of the switch instruction.
398 // There are some tests we don't do here, e.g. we don't try to verify that invoking a method that
553 * Verify the arguments to a method. We're executing in "method", making
561 * For non-static method calls, this will verify that the method call is
588 * Verify that the target instruction is not "move-exception". It's important that the only way
626 // Verify that the GC map associated with method_ is well formed