duke@1: /*
ohair@554:  * Copyright (c) 2005, 2006, Oracle and/or its affiliates. All rights reserved.
duke@1:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1:  *
duke@1:  * This code is free software; you can redistribute it and/or modify it
duke@1:  * under the terms of the GNU General Public License version 2 only, as
duke@1:  * published by the Free Software Foundation.
duke@1:  *
duke@1:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@1:  * version 2 for more details (a copy is included in the LICENSE file that
duke@1:  * accompanied this code).
duke@1:  *
duke@1:  * You should have received a copy of the GNU General Public License version
duke@1:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@1:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1:  *
ohair@554:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554:  * or visit www.oracle.com if you need additional information or have any
ohair@554:  * questions.
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * @test
duke@1:  * @bug     6348760
duke@1:  * @summary crash: java.lang.AssertionError at com.sun.tools.javac.comp.Lower.abstractLval(Lower.java:1853)
duke@1:  * @author  Peter von der Ah\u00e9
duke@1:  * @run main/othervm -Xfuture T6348760
duke@1:  */
duke@1: 
duke@1: public class T6348760<T> {
duke@1:     T value;
duke@1:     static int n;
duke@1: 
duke@1:     T6348760(T value) {
duke@1:         this.value = value;
duke@1:     }
duke@1: 
duke@1:     static void testByte(T6348760<Byte> i, T6348760<Byte> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         n = +i.value;
duke@1:         n = -i.value;
duke@1:         n = ~i.value;
duke@1:         n = i.value * j.value;
duke@1:         n = i.value / j.value;
duke@1:         n = i.value % j.value;
duke@1:         n = i.value + j.value;
duke@1:         n = i.value - j.value;
duke@1:         n = i.value << j.value;
duke@1:         n = i.value >> j.value;
duke@1:         n = i.value >>> j.value;
duke@1:         n = i.value & j.value;
duke@1:         n = i.value ^ j.value;
duke@1:         n = i.value | j.value;
duke@1:         n *= j.value;
duke@1:         n /= j.value;
duke@1:         n %= j.value;
duke@1:         n += j.value;
duke@1:         n -= j.value;
duke@1:         n <<= j.value;
duke@1:         n >>= j.value;
duke@1:         n >>>= j.value;
duke@1:         n &= j.value;
duke@1:         n ^= j.value;
duke@1:         n |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testShort(T6348760<Short> i, T6348760<Short> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         n = +i.value;
duke@1:         n = -i.value;
duke@1:         n = ~i.value;
duke@1:         n = i.value * j.value;
duke@1:         n = i.value / j.value;
duke@1:         n = i.value % j.value;
duke@1:         n = i.value + j.value;
duke@1:         n = i.value - j.value;
duke@1:         n = i.value << j.value;
duke@1:         n = i.value >> j.value;
duke@1:         n = i.value >>> j.value;
duke@1:         n = i.value & j.value;
duke@1:         n = i.value ^ j.value;
duke@1:         n = i.value | j.value;
duke@1:         n *= j.value;
duke@1:         n /= j.value;
duke@1:         n %= j.value;
duke@1:         n += j.value;
duke@1:         n -= j.value;
duke@1:         n <<= j.value;
duke@1:         n >>= j.value;
duke@1:         n >>>= j.value;
duke@1:         n &= j.value;
duke@1:         n ^= j.value;
duke@1:         n |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testInteger(T6348760<Integer> i, T6348760<Integer> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         i.value = +i.value;
duke@1:         i.value = -i.value;
duke@1:         i.value = ~i.value;
duke@1:         i.value = i.value * j.value;
duke@1:         i.value = i.value / j.value;
duke@1:         i.value = i.value % j.value;
duke@1:         i.value = i.value + j.value;
duke@1:         i.value = i.value - j.value;
duke@1:         i.value = i.value << j.value;
duke@1:         i.value = i.value >> j.value;
duke@1:         i.value = i.value >>> j.value;
duke@1:         i.value = i.value & j.value;
duke@1:         i.value = i.value ^ j.value;
duke@1:         i.value = i.value | j.value;
duke@1:         i.value *= j.value;
duke@1:         i.value /= j.value;
duke@1:         i.value %= j.value;
duke@1:         i.value += j.value;
duke@1:         i.value -= j.value;
duke@1:         i.value <<= j.value;
duke@1:         i.value >>= j.value;
duke@1:         i.value >>>= j.value;
duke@1:         i.value &= j.value;
duke@1:         i.value ^= j.value;
duke@1:         i.value |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testLong(T6348760<Long> i, T6348760<Long> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         i.value = +i.value;
duke@1:         i.value = -i.value;
duke@1:         i.value = ~i.value;
duke@1:         i.value = i.value * j.value;
duke@1:         i.value = i.value / j.value;
duke@1:         i.value = i.value % j.value;
duke@1:         i.value = i.value + j.value;
duke@1:         i.value = i.value - j.value;
duke@1:         i.value = i.value << j.value;
duke@1:         i.value = i.value >> j.value;
duke@1:         i.value = i.value >>> j.value;
duke@1:         i.value = i.value & j.value;
duke@1:         i.value = i.value ^ j.value;
duke@1:         i.value = i.value | j.value;
duke@1:         i.value *= j.value;
duke@1:         i.value /= j.value;
duke@1:         i.value %= j.value;
duke@1:         i.value += j.value;
duke@1:         i.value -= j.value;
duke@1:         i.value <<= j.value;
duke@1:         i.value >>= j.value;
duke@1:         i.value >>>= j.value;
duke@1:         i.value &= j.value;
duke@1:         i.value ^= j.value;
duke@1:         i.value |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testCharacter(T6348760<Character> i, T6348760<Character> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         n = +i.value;
duke@1:         n = -i.value;
duke@1:         n = ~i.value;
duke@1:         n = i.value * j.value;
duke@1:         n = i.value / j.value;
duke@1:         n = i.value % j.value;
duke@1:         n = i.value + j.value;
duke@1:         n = i.value - j.value;
duke@1:         n = i.value << j.value;
duke@1:         n = i.value >> j.value;
duke@1:         n = i.value >>> j.value;
duke@1:         n = i.value & j.value;
duke@1:         n = i.value ^ j.value;
duke@1:         n = i.value | j.value;
duke@1:         n *= j.value;
duke@1:         n /= j.value;
duke@1:         n %= j.value;
duke@1:         n += j.value;
duke@1:         n -= j.value;
duke@1:         n <<= j.value;
duke@1:         n >>= j.value;
duke@1:         n >>>= j.value;
duke@1:         n &= j.value;
duke@1:         n ^= j.value;
duke@1:         n |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testFloat(T6348760<Float> i, T6348760<Float> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         i.value = +i.value;
duke@1:         i.value = -i.value;
duke@1:         // i.value = ~i.value;
duke@1:         i.value = i.value * j.value;
duke@1:         i.value = i.value / j.value;
duke@1:         i.value = i.value % j.value;
duke@1:         i.value = i.value + j.value;
duke@1:         i.value = i.value - j.value;
duke@1:         // i.value = i.value << j.value;
duke@1:         // i.value = i.value >> j.value;
duke@1:         // i.value = i.value >>> j.value;
duke@1:         // i.value = i.value & j.value;
duke@1:         // i.value = i.value ^ j.value;
duke@1:         // i.value = i.value | j.value;
duke@1:         i.value *= j.value;
duke@1:         i.value /= j.value;
duke@1:         i.value %= j.value;
duke@1:         i.value += j.value;
duke@1:         i.value -= j.value;
duke@1:         // i.value <<= j.value;
duke@1:         // i.value >>= j.value;
duke@1:         // i.value >>>= j.value;
duke@1:         // i.value &= j.value;
duke@1:         // i.value ^= j.value;
duke@1:         // i.value |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testDouble(T6348760<Double> i, T6348760<Double> j, T6348760<Boolean> a) {
duke@1:         i.value++;
duke@1:         i.value--;
duke@1:         ++i.value;
duke@1:         --i.value;
duke@1:         i.value = +i.value;
duke@1:         i.value = -i.value;
duke@1:         // i.value = ~i.value;
duke@1:         i.value = i.value * j.value;
duke@1:         i.value = i.value / j.value;
duke@1:         i.value = i.value % j.value;
duke@1:         i.value = i.value + j.value;
duke@1:         i.value = i.value - j.value;
duke@1:         // i.value = i.value << j.value;
duke@1:         // i.value = i.value >> j.value;
duke@1:         // i.value = i.value >>> j.value;
duke@1:         // i.value = i.value & j.value;
duke@1:         // i.value = i.value ^ j.value;
duke@1:         // i.value = i.value | j.value;
duke@1:         i.value *= j.value;
duke@1:         i.value /= j.value;
duke@1:         i.value %= j.value;
duke@1:         i.value += j.value;
duke@1:         i.value -= j.value;
duke@1:         // i.value <<= j.value;
duke@1:         // i.value >>= j.value;
duke@1:         // i.value >>>= j.value;
duke@1:         // i.value &= j.value;
duke@1:         // i.value ^= j.value;
duke@1:         // i.value |= j.value;
duke@1:         a.value = i.value < j.value;
duke@1:         a.value = i.value > j.value;
duke@1:         a.value = i.value <= j.value;
duke@1:         a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:     }
duke@1: 
duke@1:     static void testBoolean(T6348760<Boolean> i, T6348760<Boolean> j, T6348760<Boolean> a) {
duke@1:         // i.value++;
duke@1:         // i.value--;
duke@1:         // ++i.value;
duke@1:         // --i.value;
duke@1:         // i.value = +i.value;
duke@1:         // i.value = -i.value;
duke@1:         // i.value = ~i.value;
duke@1:         // i.value = i.value * j.value;
duke@1:         // i.value = i.value / j.value;
duke@1:         // i.value = i.value % j.value;
duke@1:         // i.value = i.value + j.value;
duke@1:         // i.value = i.value - j.value;
duke@1:         // i.value = i.value << j.value;
duke@1:         // i.value = i.value >> j.value;
duke@1:         // i.value = i.value >>> j.value;
duke@1:         i.value = i.value & j.value;
duke@1:         i.value = i.value ^ j.value;
duke@1:         i.value = i.value | j.value;
duke@1:         // i.value *= j.value;
duke@1:         // i.value /= j.value;
duke@1:         // i.value %= j.value;
duke@1:         // i.value += j.value;
duke@1:         // i.value -= j.value;
duke@1:         // i.value <<= j.value;
duke@1:         // i.value >>= j.value;
duke@1:         // i.value >>>= j.value;
duke@1:         i.value &= j.value;
duke@1:         i.value ^= j.value;
duke@1:         i.value |= j.value;
duke@1:         // a.value = i.value < j.value;
duke@1:         // a.value = i.value > j.value;
duke@1:         // a.value = i.value <= j.value;
duke@1:         // a.value = i.value >= j.value;
duke@1:         a.value = i.value == j.value;
duke@1:         a.value = i.value != j.value;
duke@1:         a.value = !j.value;
duke@1:         a.value = i.value && j.value;
duke@1:         a.value = i.value || j.value;
duke@1:     }
duke@1: 
duke@1: 
duke@1:     public static void main(String... args) {
duke@1:         testByte     (new T6348760<Byte>((byte)42),
duke@1:                       new T6348760<Byte>((byte)42),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testShort    (new T6348760<Short>((short)42),
duke@1:                       new T6348760<Short>((short)42),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testInteger  (new T6348760<Integer>(42),
duke@1:                       new T6348760<Integer>(42),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testLong     (new T6348760<Long>(42L),
duke@1:                       new T6348760<Long>(42L),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testCharacter(new T6348760<Character>('*'),
duke@1:                       new T6348760<Character>('*'),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testFloat    (new T6348760<Float>(42.0F),
duke@1:                       new T6348760<Float>(42.0F),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testDouble   (new T6348760<Double>(42.0D),
duke@1:                       new T6348760<Double>(42.0D),
duke@1:                       new T6348760<Boolean>(true));
duke@1:         testBoolean  (new T6348760<Boolean>(true),
duke@1:                       new T6348760<Boolean>(true),
duke@1:                       new T6348760<Boolean>(true));
duke@1:     }
duke@1: }