| /art/test/800-smali/src/ |
| D | Main.java | 57 "packedSwitch_overflow", new Object[]{123}, new VerifyError(), null)); in Main()
74 testCases.add(new TestCase("b/18800943 (1)", "B18800943_1", "n_a", null, new VerifyError(), in Main()
76 testCases.add(new TestCase("b/18800943 (2)", "B18800943_2", "n_a", null, new VerifyError(), in Main()
81 "moveExceptionOnEntry", new Object[]{0}, new VerifyError(), null)); in Main()
84 testCases.add(new TestCase("b/20224106", "B20224106", "run", null, new VerifyError(), in Main()
86 testCases.add(new TestCase("b/17410612", "B17410612", "run", null, new VerifyError(), in Main()
94 testCases.add(new TestCase("b/22045582", "B22045582", "run", null, new VerifyError(), in Main()
97 new VerifyError(), 0)); in Main()
99 new VerifyError(), 0)); in Main()
100 testCases.add(new TestCase("b/21886894", "B21886894", "test", null, new VerifyError(), in Main()
[all …]
|
| /art/runtime/verifier/ |
| D | verifier_compiler_binding.h | 30 constexpr uint32_t unresolved_mask = verifier::VerifyError::VERIFY_ERROR_NO_CLASS in CanCompilerHandleVerificationFailure()
31 | verifier::VerifyError::VERIFY_ERROR_ACCESS_CLASS in CanCompilerHandleVerificationFailure()
32 | verifier::VerifyError::VERIFY_ERROR_ACCESS_FIELD in CanCompilerHandleVerificationFailure()
33 | verifier::VerifyError::VERIFY_ERROR_ACCESS_METHOD; in CanCompilerHandleVerificationFailure()
|
| D | verifier_enums.h | 75 enum VerifyError { enum
97 std::ostream& operator<<(std::ostream& os, const VerifyError& rhs);
|
| D | register_line-inl.h | 135 enum VerifyError fail_type; in VerifyRegisterType()
|
| D | method_verifier.h | 138 std::ostream& Fail(VerifyError error);
740 std::vector<VerifyError> failures_;
|
| D | method_verifier.cc | 433 if ((verifier.encountered_failure_types_ & VerifyError::VERIFY_ERROR_LOCKING) != 0) { in VerifyMethod()
897 std::ostream& MethodVerifier::Fail(VerifyError error) { in Fail()
3714 Fail(VerifyError::VERIFY_ERROR_NO_CLASS) << "Could not create precise reference for " in UninstantiableError()
4904 VerifyError type; in GetInstanceField()
4908 type = VerifyError::VERIFY_ERROR_NO_CLASS; in GetInstanceField()
4912 type = VerifyError::VERIFY_ERROR_BAD_CLASS_HARD; in GetInstanceField()
5012 VerifyError error = field_type->IsReferenceTypes() ? VERIFY_ERROR_BAD_CLASS_SOFT in VerifyISFieldAccess()
5044 VerifyError error = field_type->IsReferenceTypes() ? VERIFY_ERROR_BAD_CLASS_SOFT in VerifyISFieldAccess()
5428 Fail(VerifyError::VERIFY_ERROR_NO_CLASS) << "Could not create precise reference for " in FromClass()
|
| /art/test/954-invoke-polymorphic-verifier/ |
| D | expected.txt | 1 java.lang.VerifyError: Verifier rejected class MethodHandleNotInvoke: void MethodHandleNotInvoke.<i…
2 java.lang.VerifyError: Verifier rejected class MethodHandleToString: void MethodHandleToString.<ini…
3 java.lang.VerifyError: Verifier rejected class NonReference: void NonReference.<init>() failed to v…
4 java.lang.VerifyError: Verifier rejected class TooFewArguments: void TooFewArguments.<init>() faile…
5 java.lang.VerifyError: Verifier rejected class TooManyArguments: void TooManyArguments.<init>() fai…
6 java.lang.VerifyError: Verifier rejected class BadThis: void BadThis.<init>() failed to verify: voi…
7 java.lang.VerifyError: Verifier rejected class FakeSignaturePolymorphic: void FakeSignaturePolymorp…
8 java.lang.VerifyError: Verifier rejected class BetterFakeSignaturePolymorphic: void BetterFakeSigna…
10 java.lang.VerifyError: Verifier rejected class Unresolved: void Unresolved.<init>() failed to verif…
|
| /art/test/024-illegal-access/src/ |
| D | Main.java | 22 } catch (VerifyError ve) { in main()
41 } catch (VerifyError ve) { in main()
60 } catch (VerifyError ve) { in main()
|
| /art/test/142-classloader2/ |
| D | expected.txt | 2 Caught VerifyError.
4 Caught wrapped VerifyError.
|
| /art/test/003-omnibus-opcodes/src/ |
| D | Main.java | 54 } catch (VerifyError ve) { in run()
59 } catch (VerifyError ve) { in run()
65 } catch (VerifyError ve) { in run()
|
| /art/test/506-verify-aput/src/ |
| D | Main.java | 26 } catch (VerifyError e) { /* ignore */ in main()
31 } catch (VerifyError e) { /* ignore */ in main()
|
| /art/test/142-classloader2/src/ |
| D | Main.java | 80 } catch (VerifyError e) { in main()
91 if (e.getCause() instanceof VerifyError) { in main()
|
| /art/test/471-uninitialized-locals/src/ |
| D | Main.java | 29 } catch (VerifyError e) { in main()
|
| /art/test/032-concrete-sub/src/ |
| D | Main.java | 30 } catch (VerifyError ve) { in main()
|
| /art/test/135-MirandaDispatch/src/ |
| D | Main.java | 53 } catch (VerifyError expected) { in main()
|
| /art/test/161-final-abstract-class/src/ |
| D | Main.java | 26 } catch (VerifyError expected) { in main()
|
| /art/test/800-smali/smali/ |
| D | b_22777307.smali | 10 # ensure we won't produce a VerifyError.
|
| /art/test/008-exceptions/src/ |
| D | Main.java | 176 } catch (VerifyError e) { in exceptionsForSuperClassInitFailure()
|
| /art/test/954-invoke-polymorphic-verifier/smali/ |
| D | Main.smali | 63 .catch Ljava/lang/VerifyError; {:try_start_1 .. :try_end_1} :catch_verifier
|
| /art/test/412-new-array/src/ |
| D | Main.java | 214 } catch (VerifyError e) { in testSmaliVerifyError()
|
| /art/test/064-field-access/src/ |
| D | Main.java | 32 } catch (VerifyError fe) { in main()
|