| /art/test/087-gc-after-link/ |
| D | info.txt | 8 This test is not expected to work for the reference implementation.
|
| /art/test/VerifierDeps/ |
| D | Main.smali | 4 # you may not use this file except in compliance with the License.
323 # INVOKE_STATIC does not resolve to methods in superinterfaces. This will
417 # be called with invoke-virtual. However, the lookup type does not depend
419 # TODO: Maybe we should not record dependency if the invoke type does not match the lookup type.
426 # Verification will fail because the referring class is not an interface.
427 …# However, the lookup type does not depend on the invoke type, so it shall be resolved here anyway.
428 # TODO: Maybe we should not record dependency if the invoke type does not match the lookup type.
435 # Verification will fail because the referring class is not an interface.
|
| /art/test/904-object-allocation/ |
| D | expected.txt | 5 Tracking on same thread, not disabling tracking
|
| /art/test/144-static-field-sigquit/ |
| D | info.txt | 3 Tests that unresolved classes are not put into the dex cache by the verifier.
|
| /art/test/800-smali/smali/ |
| D | b_21869691A.smali | 1 # Test that the verifier does not stash methods incorrectly because they are being invoked with
4 # When using invoke-interface on a method id that is not from an interface class, we should throw
|
| D | b_29778499_2.smali | 5 # This is testing an edge case (not implementing any interface) for b/18116999.
|
| D | b_17410612.smali | 4 # a pair. This should fail in the verifier and not an abort in the compiler.
|
| D | b_22080519.smali | 16 # This should *not* be flagged as a runtime throw
|
| /art/test/989-method-trace-throw/ |
| D | info.txt | 14 Changes to the internal implementation of these classes might (or might not)
|
| /art/test/988-method-trace/ |
| D | info.txt | 14 Changes to the internal implementation of these classes might (or might not)
|
| /art/test/1945-proxy-method-arguments/ |
| D | info.txt | 7 reference would not have been updated.
|
| /art/test/088-monitor-verification/smali/ |
| D | NullLocks.smali | 15 # will not fail verification.
|
| /art/test/097-duplicate-method/ |
| D | info.txt | 5 with Jack (this is invalid) or smali (it does not keep duplicate
|
| /art/test/640-checker-simd/src/ |
| D | SimdChar.java | 102 static void not() { in not() method in SimdChar
252 not(); in main()
|
| D | SimdShort.java | 102 static void not() { in not() method in SimdShort
251 not(); in main()
|
| D | SimdInt.java | 102 static void not() { in not() method in SimdInt
294 not(); in main()
|
| D | SimdLong.java | 102 static void not() { in not() method in SimdLong
294 not(); in main()
|
| D | SimdByte.java | 101 static void not() { in not() method in SimdByte
259 not(); in main()
|
| /art/test/675-checker-unverified-method/smali/ |
| D | TestCase.smali | 4 # you may not use this file except in compliance with the License.
20 # Ensure foo() does not analyze unverified bad() always-throws property.
|
| /art/test/431-type-propagation/smali/ |
| D | TypePropagation.smali | 4 # you may not use this file except in compliance with the License.
28 # to float. However, since v0 is not used afterwards, the verifier
|
| /art/tools/checker/ |
| D | README | 25 In other words, the order of output lines does not matter
27 - CHECK-NOT: Must not match any output line which appears in the output group
83 thereby avoiding to repeat the check lines if some, but not all architectures
111 variables as part of the statement input is not allowed. Any other surrounding text will be passed
112 to Python's `eval` as is. CHECK-ELSE and CHECK-FI must not have any input.
126 This condition is enforced at runtime, and an error is thrown if it's not respected.
145 runtime. Attempting to re-define a variable or referencing an undefined variable is not allowed,
|
| /art/test/960-default-smali/ |
| D | expected.txt | 112 P-interface Foo.bar()='not foobar!'
113 P-interface Foo2.bar()='not foobar!'
114 P-virtual N.bar()='not foobar!'
115 P-virtual O.bar()='not foobar!'
116 P-virtual P.bar()='not foobar!'
|
| /art/test/1959-redefine-object-instrument/ |
| D | info.txt | 4 Redefining a class does not update the instrumentation stack of a thread.
|
| /art/test/547-regression-trycatch-critic-edge/smali/ |
| D | TestCase.smali | 4 # you may not use this file except in compliance with the License.
20 # of the inner loop. This was caused by a bug which did not split the critical
|
| /art/test/503-dead-instructions/smali/ |
| D | DeadInstructions.smali | 4 # you may not use this file except in compliance with the License.
28 # code, the verifier will not check the argument count. So
|