Tue, 26 Jan 2016 21:08:18 +0000
8130304: Inference: NodeNotFoundException thrown with deep generic method call chain
Summary: Bug in Tarjan implementation is generating node ids which can overflow 32 bits
Reviewed-by: vromero
duke@1 | 1 | /* |
jjg@1374 | 2 | * Copyright (c) 2005, 2012, Oracle and/or its affiliates. All rights reserved. |
duke@1 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@1 | 4 | * |
duke@1 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@1 | 6 | * under the terms of the GNU General Public License version 2 only, as |
ohair@554 | 7 | * published by the Free Software Foundation. Oracle designates this |
duke@1 | 8 | * particular file as subject to the "Classpath" exception as provided |
ohair@554 | 9 | * by Oracle in the LICENSE file that accompanied this code. |
duke@1 | 10 | * |
duke@1 | 11 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@1 | 12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@1 | 13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@1 | 14 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@1 | 15 | * accompanied this code). |
duke@1 | 16 | * |
duke@1 | 17 | * You should have received a copy of the GNU General Public License version |
duke@1 | 18 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@1 | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@1 | 20 | * |
ohair@554 | 21 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
ohair@554 | 22 | * or visit www.oracle.com if you need additional information or have any |
ohair@554 | 23 | * questions. |
duke@1 | 24 | */ |
duke@1 | 25 | |
duke@1 | 26 | package com.sun.tools.javac.util; |
duke@1 | 27 | |
duke@1 | 28 | import com.sun.tools.javac.code.Type; |
duke@1 | 29 | |
duke@1 | 30 | /** |
duke@1 | 31 | * Utilities for operating on constant values. |
duke@1 | 32 | * |
jjg@581 | 33 | * <p><b>This is NOT part of any supported API. |
jjg@581 | 34 | * If you write code that depends on this, you do so at your own risk. |
duke@1 | 35 | * This code and its internal interfaces are subject to change or |
duke@1 | 36 | * deletion without notice.</b> |
duke@1 | 37 | */ |
duke@1 | 38 | public class Constants { |
duke@1 | 39 | |
duke@1 | 40 | /** |
duke@1 | 41 | * Converts a constant in internal representation (in which |
duke@1 | 42 | * boolean, char, byte, short, and int are each represented by an |
duke@1 | 43 | * Integer) into standard representation. Other values (including |
duke@1 | 44 | * null) are returned unchanged. |
duke@1 | 45 | */ |
duke@1 | 46 | public static Object decode(Object value, Type type) { |
duke@1 | 47 | if (value instanceof Integer) { |
duke@1 | 48 | int i = (Integer) value; |
jjg@1374 | 49 | switch (type.getTag()) { |
duke@1 | 50 | case BOOLEAN: return i != 0; |
duke@1 | 51 | case CHAR: return (char) i; |
duke@1 | 52 | case BYTE: return (byte) i; |
duke@1 | 53 | case SHORT: return (short) i; |
duke@1 | 54 | } |
duke@1 | 55 | } |
duke@1 | 56 | return value; |
duke@1 | 57 | } |
duke@1 | 58 | |
duke@1 | 59 | /** |
duke@1 | 60 | * Returns a string representation of a constant value (given in |
duke@1 | 61 | * internal representation), quoted and formatted as in Java source. |
duke@1 | 62 | */ |
duke@1 | 63 | public static String format(Object value, Type type) { |
duke@1 | 64 | value = decode(value, type); |
jjg@1374 | 65 | switch (type.getTag()) { |
duke@1 | 66 | case BYTE: return formatByte((Byte) value); |
duke@1 | 67 | case LONG: return formatLong((Long) value); |
duke@1 | 68 | case FLOAT: return formatFloat((Float) value); |
duke@1 | 69 | case DOUBLE: return formatDouble((Double) value); |
duke@1 | 70 | case CHAR: return formatChar((Character) value); |
duke@1 | 71 | } |
duke@1 | 72 | if (value instanceof String) |
duke@1 | 73 | return formatString((String) value); |
duke@1 | 74 | return value + ""; |
duke@1 | 75 | } |
duke@1 | 76 | |
duke@1 | 77 | /** |
duke@1 | 78 | * Returns a string representation of a constant value (given in |
duke@1 | 79 | * standard wrapped representation), quoted and formatted as in |
duke@1 | 80 | * Java source. |
duke@1 | 81 | */ |
duke@1 | 82 | public static String format(Object value) { |
duke@1 | 83 | if (value instanceof Byte) return formatByte((Byte) value); |
darcy@414 | 84 | if (value instanceof Short) return formatShort((Short) value); |
duke@1 | 85 | if (value instanceof Long) return formatLong((Long) value); |
duke@1 | 86 | if (value instanceof Float) return formatFloat((Float) value); |
duke@1 | 87 | if (value instanceof Double) return formatDouble((Double) value); |
duke@1 | 88 | if (value instanceof Character) return formatChar((Character) value); |
duke@1 | 89 | if (value instanceof String) return formatString((String) value); |
darcy@414 | 90 | if (value instanceof Integer || |
darcy@414 | 91 | value instanceof Boolean) return value.toString(); |
darcy@414 | 92 | else |
darcy@414 | 93 | throw new IllegalArgumentException("Argument is not a primitive type or a string; it " + |
darcy@414 | 94 | ((value == null) ? |
darcy@414 | 95 | "is a null value." : |
darcy@414 | 96 | "has class " + |
darcy@414 | 97 | value.getClass().getName()) + "." ); |
duke@1 | 98 | } |
duke@1 | 99 | |
duke@1 | 100 | private static String formatByte(byte b) { |
darcy@414 | 101 | return String.format("(byte)0x%02x", b); |
darcy@414 | 102 | } |
darcy@414 | 103 | |
darcy@414 | 104 | private static String formatShort(short s) { |
darcy@414 | 105 | return String.format("(short)%d", s); |
duke@1 | 106 | } |
duke@1 | 107 | |
duke@1 | 108 | private static String formatLong(long lng) { |
duke@1 | 109 | return lng + "L"; |
duke@1 | 110 | } |
duke@1 | 111 | |
duke@1 | 112 | private static String formatFloat(float f) { |
duke@1 | 113 | if (Float.isNaN(f)) |
duke@1 | 114 | return "0.0f/0.0f"; |
duke@1 | 115 | else if (Float.isInfinite(f)) |
duke@1 | 116 | return (f < 0) ? "-1.0f/0.0f" : "1.0f/0.0f"; |
duke@1 | 117 | else |
duke@1 | 118 | return f + "f"; |
duke@1 | 119 | } |
duke@1 | 120 | |
duke@1 | 121 | private static String formatDouble(double d) { |
duke@1 | 122 | if (Double.isNaN(d)) |
duke@1 | 123 | return "0.0/0.0"; |
duke@1 | 124 | else if (Double.isInfinite(d)) |
duke@1 | 125 | return (d < 0) ? "-1.0/0.0" : "1.0/0.0"; |
duke@1 | 126 | else |
duke@1 | 127 | return d + ""; |
duke@1 | 128 | } |
duke@1 | 129 | |
duke@1 | 130 | private static String formatChar(char c) { |
duke@1 | 131 | return '\'' + Convert.quote(c) + '\''; |
duke@1 | 132 | } |
duke@1 | 133 | |
duke@1 | 134 | private static String formatString(String s) { |
duke@1 | 135 | return '"' + Convert.quote(s) + '"'; |
duke@1 | 136 | } |
duke@1 | 137 | } |