Lines Matching full:verification
319 // Verification completed, however failures may be pending that didn't cause the verification
324 verifier.DumpFailures(VLOG_STREAM(verifier) << "Soft verification failures in "
333 verifier.DumpFailures(LOG(INFO) << "Verification error in "
344 LOG(WARNING) << "Verification of " << PrettyMethod(method_idx, *dex_file)
462 // verification. In practice, the phase we want relies on data structures set up by all the
463 // earlier passes, so we just run the full method verification and bail out early when we've
482 // verification. In practice, the phase we want relies on data structures set up by all the
483 // earlier passes, so we just run the full method verification and bail out early when we've
511 // verification. In practice, the phase we want relies on data structures set up by all the
512 // earlier passes, so we just run the full method verification and bail out early when we've
565 // Perform static instruction verification.
587 // If we're optimistically running verification at compile time, turn NO_xxx, ACCESS_xxx,
588 // class change and instantiation errors into soft verification errors so that we re-verify
592 // paths" that dynamically perform the verification and cause the behavior to be that akin
616 // Indication that verification should be retried at runtime.
622 // Hard verification failures at compile time will still fail at runtime, so the class is
1247 /* Perform code flow verification. */
1917 * chasing the "can throw" path when monitor verification is
2078 /* Similar to the verification done for APUT */
2483 // TODO: re-enable constructor type verification
2897 /* These should never appear during verification. */
2962 /* should never happen after static verification */
