1 /* |
1 /* |
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved. |
2 * Copyright (c) 2012, 2013, 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. |
336 /* Unreachable: verify_cp_type gates this case */ |
336 /* Unreachable: verify_cp_type gates this case */ |
337 new Case("case57", "verifier.cpp", false, "verify_ldc", |
337 new Case("case57", "verifier.cpp", false, "verify_ldc", |
338 "invalid constant pool index in ldc", |
338 "invalid constant pool index in ldc", |
339 "Invalid index in ldc"), |
339 "Invalid index in ldc"), |
340 |
340 |
341 new Case("case58", "verifier.cpp", true, "verify_switch", |
341 /* No longer a valid test case for bytecode version >= 51. Nonzero |
|
342 * padding bytes are permitted with lookupswitch and tableswitch |
|
343 * bytecodes as of JVMS 3d edition */ |
|
344 new Case("case58", "verifier.cpp", false, "verify_switch", |
342 "bad switch padding", |
345 "bad switch padding", |
343 "Nonzero padding byte in lookswitch or tableswitch"), |
346 "Nonzero padding byte in lookupswitch or tableswitch"), |
344 |
347 |
345 new Case("case59", "verifier.cpp", true, "verify_switch", |
348 new Case("case59", "verifier.cpp", true, "verify_switch", |
346 "tableswitch low is greater than high", |
349 "tableswitch low is greater than high", |
347 "low must be less than or equal to high in tableswitch"), |
350 "low must be less than or equal to high in tableswitch"), |
348 |
351 |