Lines Matching full:verification
60 * An enumeration of problems that can turn up during verification.
65 * the class to remain uncompiled. Other errors denote verification errors that cause bytecode
97 // it at branch points (for verification) or GC points and branches (for verification +
113 // about what's in which register, but for verification purposes we only need to store it at
172 // Log a verification failure.
175 // Log for verification information.
224 // Run verification on the method. Returns true if verification completes and false if the input
297 * Perform verification on a single method.
356 * Perform static verification on all instructions in a method.
363 * Perform static verification on an instruction.
514 * Perform verification for a single instruction.
525 // Perform verification of a new array instruction
529 // Helper to perform verification on puts of primitive type.
533 // Perform verification of an aget instruction. The destination register's type will be set to
540 // Perform verification of an aput instruction.
551 // Perform verification of an iget/sget/iput/sput instruction.
726 // instructions that would hard fail the verification.
