1 /* |
1 /* |
2 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * |
4 * |
5 * This code is free software; you can redistribute it and/or modify it |
5 * This code is free software; you can redistribute it and/or modify it |
6 * under the terms of the GNU General Public License version 2 only, as |
6 * under the terms of the GNU General Public License version 2 only, as |
7 * published by the Free Software Foundation. |
7 * published by the Free Software Foundation. |
145 |
145 |
146 new Case("case14", "stackMapTable.cpp", true, "check_jump_target", |
146 new Case("case14", "stackMapTable.cpp", true, "check_jump_target", |
147 "no stackmap frame at jump location or bad jump", |
147 "no stackmap frame at jump location or bad jump", |
148 "Inconsistent stackmap frames at branch target "), |
148 "Inconsistent stackmap frames at branch target "), |
149 |
149 |
150 new Case("case15", "stackMapTable.cpp", true, "check_new_object", |
150 /* Backward jump with uninit is allowed starting with JDK 8 */ |
|
151 new Case("case15", "stackMapTable.cpp", false, "check_new_object", |
151 "backward jump with uninit", |
152 "backward jump with uninit", |
152 "Uninitialized object exists on backward branch "), |
153 "Uninitialized object exists on backward branch "), |
153 |
154 |
154 /* Unreachable: wide instructions verified during bytecode analysis */ |
155 /* Unreachable: wide instructions verified during bytecode analysis */ |
155 new Case("case16", "verifier.cpp", false, "loop header", |
156 new Case("case16", "verifier.cpp", false, "loop header", |