From 5d1ac920fdaef5d4ec8f66bb734488cd9660b024 Mon Sep 17 00:00:00 2001 From: jeffhao Date: Thu, 29 Sep 2011 17:41:15 -0700 Subject: Adding old unit tests to test suite. These tests are copied straight over. They'll still run, but they're using the old system. Change-Id: If494519e52ddf858a9febfc55bdae830468cb3c8 --- test/076-boolean-put/expected.txt | 1 + test/076-boolean-put/info.txt | 3 +++ test/076-boolean-put/src/Main.java | 48 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 52 insertions(+) create mode 100644 test/076-boolean-put/expected.txt create mode 100644 test/076-boolean-put/info.txt create mode 100644 test/076-boolean-put/src/Main.java (limited to 'test/076-boolean-put') diff --git a/test/076-boolean-put/expected.txt b/test/076-boolean-put/expected.txt new file mode 100644 index 0000000..a965a70 --- /dev/null +++ b/test/076-boolean-put/expected.txt @@ -0,0 +1 @@ +Done diff --git a/test/076-boolean-put/info.txt b/test/076-boolean-put/info.txt new file mode 100644 index 0000000..5b3ef4d --- /dev/null +++ b/test/076-boolean-put/info.txt @@ -0,0 +1,3 @@ +This checks a case where javac generates code that stores a byte into a +boolean field. The code as generated should not pass the verifier, so the +verifier had to be "loosened" to allow this case. diff --git a/test/076-boolean-put/src/Main.java b/test/076-boolean-put/src/Main.java new file mode 100644 index 0000000..b325422 --- /dev/null +++ b/test/076-boolean-put/src/Main.java @@ -0,0 +1,48 @@ +/* + * Copyright (C) 2009 The Android Open Source Project + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +/** + * Test access to private boolean fields. + * + * Accessing private boolean fields from an inner class causes the compiler + * to generate an accessor method that performs the boolean operation. + * Unfortunately the generated method takes an integer as an argument, + * not a boolean, which makes the verifier upset when the result of the + * operation is written back to a boolean field. + */ +public class Main { + private boolean mInstance; + private static boolean mStatic; + + public static void main(String[] args) { + Main foo = new Main(); + foo.test(); + + System.out.println("Done"); + } + + void test() { + Innard innard = new Innard(); + innard.doStuff(); + } + + class Innard { + void doStuff() { + mInstance |= true; + mStatic |= true; + } + } +} -- cgit v1.1