Tue, 20 Jul 2010 08:41:42 -0700
6964170: Verifier crashes
Summary: Check if klassOop != NULL rather than klass_part != NULL
Reviewed-by: kamg, never
duke@435 | 1 | /* |
trims@1907 | 2 | * Copyright (c) 2003, 2006, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
duke@435 | 25 | # include "incls/_precompiled.incl" |
duke@435 | 26 | # include "incls/_stackMapTable.cpp.incl" |
duke@435 | 27 | |
duke@435 | 28 | StackMapTable::StackMapTable(StackMapReader* reader, StackMapFrame* init_frame, |
duke@435 | 29 | u2 max_locals, u2 max_stack, |
duke@435 | 30 | char* code_data, int code_len, TRAPS) { |
duke@435 | 31 | _code_length = code_len; |
duke@435 | 32 | _frame_count = reader->get_frame_count(); |
duke@435 | 33 | if (_frame_count > 0) { |
duke@435 | 34 | _frame_array = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, |
duke@435 | 35 | StackMapFrame*, _frame_count); |
duke@435 | 36 | StackMapFrame* pre_frame = init_frame; |
duke@435 | 37 | for (int32_t i = 0; i < _frame_count; i++) { |
duke@435 | 38 | StackMapFrame* frame = reader->next( |
duke@435 | 39 | pre_frame, i == 0, max_locals, max_stack, |
duke@435 | 40 | CHECK_VERIFY(pre_frame->verifier())); |
duke@435 | 41 | _frame_array[i] = frame; |
duke@435 | 42 | int offset = frame->offset(); |
duke@435 | 43 | if (offset >= code_len || code_data[offset] == 0) { |
duke@435 | 44 | frame->verifier()->verify_error("StackMapTable error: bad offset"); |
duke@435 | 45 | return; |
duke@435 | 46 | } |
duke@435 | 47 | pre_frame = frame; |
duke@435 | 48 | } |
duke@435 | 49 | } |
duke@435 | 50 | reader->check_end(CHECK); |
duke@435 | 51 | } |
duke@435 | 52 | |
duke@435 | 53 | // This method is only called by method in StackMapTable. |
duke@435 | 54 | int StackMapTable::get_index_from_offset(int32_t offset) const { |
duke@435 | 55 | int i = 0; |
duke@435 | 56 | for (; i < _frame_count; i++) { |
duke@435 | 57 | if (_frame_array[i]->offset() == offset) { |
duke@435 | 58 | return i; |
duke@435 | 59 | } |
duke@435 | 60 | } |
duke@435 | 61 | return i; // frame with offset doesn't exist in the array |
duke@435 | 62 | } |
duke@435 | 63 | |
duke@435 | 64 | bool StackMapTable::match_stackmap( |
duke@435 | 65 | StackMapFrame* frame, int32_t target, |
duke@435 | 66 | bool match, bool update, TRAPS) const { |
duke@435 | 67 | int index = get_index_from_offset(target); |
duke@435 | 68 | |
duke@435 | 69 | return match_stackmap( |
duke@435 | 70 | frame, target, index, match, |
duke@435 | 71 | update, CHECK_VERIFY_(frame->verifier(), false)); |
duke@435 | 72 | } |
duke@435 | 73 | |
duke@435 | 74 | // Match and/or update current_frame to the frame in stackmap table with |
duke@435 | 75 | // specified offset and frame index. Return true if the two frames match. |
duke@435 | 76 | // |
duke@435 | 77 | // The values of match and update are: _match__update_ |
duke@435 | 78 | // |
duke@435 | 79 | // checking a branch target/exception handler: true false |
duke@435 | 80 | // linear bytecode verification following an |
duke@435 | 81 | // unconditional branch: false true |
duke@435 | 82 | // linear bytecode verification not following an |
duke@435 | 83 | // unconditional branch: true true |
duke@435 | 84 | bool StackMapTable::match_stackmap( |
duke@435 | 85 | StackMapFrame* frame, int32_t target, int32_t frame_index, |
duke@435 | 86 | bool match, bool update, TRAPS) const { |
duke@435 | 87 | if (frame_index < 0 || frame_index >= _frame_count) { |
duke@435 | 88 | frame->verifier()->verify_error(frame->offset(), |
duke@435 | 89 | "Expecting a stackmap frame at branch target %d", target); |
duke@435 | 90 | return false; |
duke@435 | 91 | } |
duke@435 | 92 | |
duke@435 | 93 | bool result = true; |
duke@435 | 94 | StackMapFrame *stackmap_frame = _frame_array[frame_index]; |
duke@435 | 95 | if (match) { |
duke@435 | 96 | // Has direct control flow from last instruction, need to match the two |
duke@435 | 97 | // frames. |
duke@435 | 98 | result = frame->is_assignable_to( |
duke@435 | 99 | stackmap_frame, CHECK_VERIFY_(frame->verifier(), false)); |
duke@435 | 100 | } |
duke@435 | 101 | if (update) { |
duke@435 | 102 | // Use the frame in stackmap table as current frame |
duke@435 | 103 | int lsize = stackmap_frame->locals_size(); |
duke@435 | 104 | int ssize = stackmap_frame->stack_size(); |
duke@435 | 105 | if (frame->locals_size() > lsize || frame->stack_size() > ssize) { |
duke@435 | 106 | // Make sure unused type array items are all _bogus_type. |
duke@435 | 107 | frame->reset(); |
duke@435 | 108 | } |
duke@435 | 109 | frame->set_locals_size(lsize); |
duke@435 | 110 | frame->copy_locals(stackmap_frame); |
duke@435 | 111 | frame->set_stack_size(ssize); |
duke@435 | 112 | frame->copy_stack(stackmap_frame); |
duke@435 | 113 | frame->set_flags(stackmap_frame->flags()); |
duke@435 | 114 | } |
duke@435 | 115 | return result; |
duke@435 | 116 | } |
duke@435 | 117 | |
duke@435 | 118 | void StackMapTable::check_jump_target( |
duke@435 | 119 | StackMapFrame* frame, int32_t target, TRAPS) const { |
duke@435 | 120 | bool match = match_stackmap( |
duke@435 | 121 | frame, target, true, false, CHECK_VERIFY(frame->verifier())); |
duke@435 | 122 | if (!match || (target < 0 || target >= _code_length)) { |
duke@435 | 123 | frame->verifier()->verify_error(frame->offset(), |
duke@435 | 124 | "Inconsistent stackmap frames at branch target %d", target); |
duke@435 | 125 | return; |
duke@435 | 126 | } |
duke@435 | 127 | // check if uninitialized objects exist on backward branches |
duke@435 | 128 | check_new_object(frame, target, CHECK_VERIFY(frame->verifier())); |
duke@435 | 129 | } |
duke@435 | 130 | |
duke@435 | 131 | void StackMapTable::check_new_object( |
duke@435 | 132 | const StackMapFrame* frame, int32_t target, TRAPS) const { |
duke@435 | 133 | if (frame->offset() > target && frame->has_new_object()) { |
duke@435 | 134 | frame->verifier()->verify_error(frame->offset(), |
duke@435 | 135 | "Uninitialized object exists on backward branch %d", target); |
duke@435 | 136 | return; |
duke@435 | 137 | } |
duke@435 | 138 | } |
duke@435 | 139 | |
duke@435 | 140 | #ifndef PRODUCT |
duke@435 | 141 | |
duke@435 | 142 | void StackMapTable::print() const { |
duke@435 | 143 | tty->print_cr("StackMapTable: frame_count = %d", _frame_count); |
duke@435 | 144 | tty->print_cr("table = { "); |
duke@435 | 145 | for (int32_t i = 0; i < _frame_count; i++) { |
duke@435 | 146 | _frame_array[i]->print(); |
duke@435 | 147 | } |
duke@435 | 148 | tty->print_cr(" }"); |
duke@435 | 149 | } |
duke@435 | 150 | |
duke@435 | 151 | #endif |
duke@435 | 152 | |
duke@435 | 153 | int32_t StackMapReader::chop( |
duke@435 | 154 | VerificationType* locals, int32_t length, int32_t chops) { |
duke@435 | 155 | int32_t pos = length - 1; |
duke@435 | 156 | for (int32_t i=0; i<chops; i++) { |
duke@435 | 157 | if (locals[pos].is_category2_2nd()) { |
duke@435 | 158 | pos -= 2; |
duke@435 | 159 | } else { |
duke@435 | 160 | pos --; |
duke@435 | 161 | } |
duke@435 | 162 | if (pos<0 && i<(chops-1)) return -1; |
duke@435 | 163 | } |
duke@435 | 164 | return pos+1; |
duke@435 | 165 | } |
duke@435 | 166 | |
duke@435 | 167 | VerificationType StackMapReader::parse_verification_type(u1* flags, TRAPS) { |
duke@435 | 168 | u1 tag = _stream->get_u1(THREAD); |
duke@435 | 169 | if (tag < (u1)ITEM_UninitializedThis) { |
duke@435 | 170 | return VerificationType::from_tag(tag); |
duke@435 | 171 | } |
duke@435 | 172 | if (tag == ITEM_Object) { |
duke@435 | 173 | u2 class_index = _stream->get_u2(THREAD); |
duke@435 | 174 | int nconstants = _cp->length(); |
duke@435 | 175 | if ((class_index <= 0 || class_index >= nconstants) || |
duke@435 | 176 | (!_cp->tag_at(class_index).is_klass() && |
duke@435 | 177 | !_cp->tag_at(class_index).is_unresolved_klass())) { |
duke@435 | 178 | _stream->stackmap_format_error("bad class index", THREAD); |
duke@435 | 179 | return VerificationType::bogus_type(); |
duke@435 | 180 | } |
duke@435 | 181 | return VerificationType::reference_type( |
duke@435 | 182 | symbolHandle(THREAD, _cp->klass_name_at(class_index))); |
duke@435 | 183 | } |
duke@435 | 184 | if (tag == ITEM_UninitializedThis) { |
duke@435 | 185 | if (flags != NULL) { |
duke@435 | 186 | *flags |= FLAG_THIS_UNINIT; |
duke@435 | 187 | } |
duke@435 | 188 | return VerificationType::uninitialized_this_type(); |
duke@435 | 189 | } |
duke@435 | 190 | if (tag == ITEM_Uninitialized) { |
duke@435 | 191 | u2 offset = _stream->get_u2(THREAD); |
duke@435 | 192 | if (offset >= _code_length || |
duke@435 | 193 | _code_data[offset] != ClassVerifier::NEW_OFFSET) { |
duke@435 | 194 | ResourceMark rm(THREAD); |
duke@435 | 195 | _verifier->class_format_error( |
duke@435 | 196 | "StackMapTable format error: bad offset for Uninitialized"); |
duke@435 | 197 | return VerificationType::bogus_type(); |
duke@435 | 198 | } |
duke@435 | 199 | return VerificationType::uninitialized_type(offset); |
duke@435 | 200 | } |
duke@435 | 201 | _stream->stackmap_format_error("bad verification type", THREAD); |
duke@435 | 202 | return VerificationType::bogus_type(); |
duke@435 | 203 | } |
duke@435 | 204 | |
duke@435 | 205 | StackMapFrame* StackMapReader::next( |
duke@435 | 206 | StackMapFrame* pre_frame, bool first, u2 max_locals, u2 max_stack, TRAPS) { |
duke@435 | 207 | StackMapFrame* frame; |
duke@435 | 208 | int offset; |
duke@435 | 209 | VerificationType* locals = NULL; |
duke@435 | 210 | u1 frame_type = _stream->get_u1(THREAD); |
duke@435 | 211 | if (frame_type < 64) { |
duke@435 | 212 | // same_frame |
duke@435 | 213 | if (first) { |
duke@435 | 214 | offset = frame_type; |
duke@435 | 215 | // Can't share the locals array since that is updated by the verifier. |
duke@435 | 216 | if (pre_frame->locals_size() > 0) { |
duke@435 | 217 | locals = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 218 | THREAD, VerificationType, pre_frame->locals_size()); |
duke@435 | 219 | } |
duke@435 | 220 | } else { |
duke@435 | 221 | offset = pre_frame->offset() + frame_type + 1; |
duke@435 | 222 | locals = pre_frame->locals(); |
duke@435 | 223 | } |
duke@435 | 224 | frame = new StackMapFrame( |
duke@435 | 225 | offset, pre_frame->flags(), pre_frame->locals_size(), 0, |
duke@435 | 226 | max_locals, max_stack, locals, NULL, _verifier); |
duke@435 | 227 | if (first && locals != NULL) { |
duke@435 | 228 | frame->copy_locals(pre_frame); |
duke@435 | 229 | } |
duke@435 | 230 | return frame; |
duke@435 | 231 | } |
duke@435 | 232 | if (frame_type < 128) { |
duke@435 | 233 | // same_locals_1_stack_item_frame |
duke@435 | 234 | if (first) { |
duke@435 | 235 | offset = frame_type - 64; |
duke@435 | 236 | // Can't share the locals array since that is updated by the verifier. |
duke@435 | 237 | if (pre_frame->locals_size() > 0) { |
duke@435 | 238 | locals = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 239 | THREAD, VerificationType, pre_frame->locals_size()); |
duke@435 | 240 | } |
duke@435 | 241 | } else { |
duke@435 | 242 | offset = pre_frame->offset() + frame_type - 63; |
duke@435 | 243 | locals = pre_frame->locals(); |
duke@435 | 244 | } |
duke@435 | 245 | VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 246 | THREAD, VerificationType, 2); |
duke@435 | 247 | u2 stack_size = 1; |
duke@435 | 248 | stack[0] = parse_verification_type(NULL, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 249 | if (stack[0].is_category2()) { |
duke@435 | 250 | stack[1] = stack[0].to_category2_2nd(); |
duke@435 | 251 | stack_size = 2; |
duke@435 | 252 | } |
duke@435 | 253 | check_verification_type_array_size( |
duke@435 | 254 | stack_size, max_stack, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 255 | frame = new StackMapFrame( |
duke@435 | 256 | offset, pre_frame->flags(), pre_frame->locals_size(), stack_size, |
duke@435 | 257 | max_locals, max_stack, locals, stack, _verifier); |
duke@435 | 258 | if (first && locals != NULL) { |
duke@435 | 259 | frame->copy_locals(pre_frame); |
duke@435 | 260 | } |
duke@435 | 261 | return frame; |
duke@435 | 262 | } |
duke@435 | 263 | |
duke@435 | 264 | u2 offset_delta = _stream->get_u2(THREAD); |
duke@435 | 265 | |
duke@435 | 266 | if (frame_type < SAME_LOCALS_1_STACK_ITEM_EXTENDED) { |
duke@435 | 267 | // reserved frame types |
duke@435 | 268 | _stream->stackmap_format_error( |
duke@435 | 269 | "reserved frame type", CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 270 | } |
duke@435 | 271 | |
duke@435 | 272 | if (frame_type == SAME_LOCALS_1_STACK_ITEM_EXTENDED) { |
duke@435 | 273 | // same_locals_1_stack_item_frame_extended |
duke@435 | 274 | if (first) { |
duke@435 | 275 | offset = offset_delta; |
duke@435 | 276 | // Can't share the locals array since that is updated by the verifier. |
duke@435 | 277 | if (pre_frame->locals_size() > 0) { |
duke@435 | 278 | locals = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 279 | THREAD, VerificationType, pre_frame->locals_size()); |
duke@435 | 280 | } |
duke@435 | 281 | } else { |
duke@435 | 282 | offset = pre_frame->offset() + offset_delta + 1; |
duke@435 | 283 | locals = pre_frame->locals(); |
duke@435 | 284 | } |
duke@435 | 285 | VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 286 | THREAD, VerificationType, 2); |
duke@435 | 287 | u2 stack_size = 1; |
duke@435 | 288 | stack[0] = parse_verification_type(NULL, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 289 | if (stack[0].is_category2()) { |
duke@435 | 290 | stack[1] = stack[0].to_category2_2nd(); |
duke@435 | 291 | stack_size = 2; |
duke@435 | 292 | } |
duke@435 | 293 | check_verification_type_array_size( |
duke@435 | 294 | stack_size, max_stack, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 295 | frame = new StackMapFrame( |
duke@435 | 296 | offset, pre_frame->flags(), pre_frame->locals_size(), stack_size, |
duke@435 | 297 | max_locals, max_stack, locals, stack, _verifier); |
duke@435 | 298 | if (first && locals != NULL) { |
duke@435 | 299 | frame->copy_locals(pre_frame); |
duke@435 | 300 | } |
duke@435 | 301 | return frame; |
duke@435 | 302 | } |
duke@435 | 303 | |
duke@435 | 304 | if (frame_type <= SAME_EXTENDED) { |
duke@435 | 305 | // chop_frame or same_frame_extended |
duke@435 | 306 | locals = pre_frame->locals(); |
duke@435 | 307 | int length = pre_frame->locals_size(); |
duke@435 | 308 | int chops = SAME_EXTENDED - frame_type; |
duke@435 | 309 | int new_length = length; |
duke@435 | 310 | u1 flags = pre_frame->flags(); |
duke@435 | 311 | if (chops != 0) { |
duke@435 | 312 | new_length = chop(locals, length, chops); |
duke@435 | 313 | check_verification_type_array_size( |
duke@435 | 314 | new_length, max_locals, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 315 | // Recompute flags since uninitializedThis could have been chopped. |
duke@435 | 316 | flags = 0; |
duke@435 | 317 | for (int i=0; i<new_length; i++) { |
duke@435 | 318 | if (locals[i].is_uninitialized_this()) { |
duke@435 | 319 | flags |= FLAG_THIS_UNINIT; |
duke@435 | 320 | break; |
duke@435 | 321 | } |
duke@435 | 322 | } |
duke@435 | 323 | } |
duke@435 | 324 | if (first) { |
duke@435 | 325 | offset = offset_delta; |
duke@435 | 326 | // Can't share the locals array since that is updated by the verifier. |
duke@435 | 327 | if (new_length > 0) { |
duke@435 | 328 | locals = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 329 | THREAD, VerificationType, new_length); |
duke@435 | 330 | } else { |
duke@435 | 331 | locals = NULL; |
duke@435 | 332 | } |
duke@435 | 333 | } else { |
duke@435 | 334 | offset = pre_frame->offset() + offset_delta + 1; |
duke@435 | 335 | } |
duke@435 | 336 | frame = new StackMapFrame( |
duke@435 | 337 | offset, flags, new_length, 0, max_locals, max_stack, |
duke@435 | 338 | locals, NULL, _verifier); |
duke@435 | 339 | if (first && locals != NULL) { |
duke@435 | 340 | frame->copy_locals(pre_frame); |
duke@435 | 341 | } |
duke@435 | 342 | return frame; |
duke@435 | 343 | } else if (frame_type < SAME_EXTENDED + 4) { |
duke@435 | 344 | // append_frame |
duke@435 | 345 | int appends = frame_type - SAME_EXTENDED; |
duke@435 | 346 | int real_length = pre_frame->locals_size(); |
duke@435 | 347 | int new_length = real_length + appends*2; |
duke@435 | 348 | locals = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, VerificationType, new_length); |
duke@435 | 349 | VerificationType* pre_locals = pre_frame->locals(); |
duke@435 | 350 | int i; |
duke@435 | 351 | for (i=0; i<pre_frame->locals_size(); i++) { |
duke@435 | 352 | locals[i] = pre_locals[i]; |
duke@435 | 353 | } |
duke@435 | 354 | u1 flags = pre_frame->flags(); |
duke@435 | 355 | for (i=0; i<appends; i++) { |
duke@435 | 356 | locals[real_length] = parse_verification_type(&flags, THREAD); |
duke@435 | 357 | if (locals[real_length].is_category2()) { |
duke@435 | 358 | locals[real_length + 1] = locals[real_length].to_category2_2nd(); |
duke@435 | 359 | ++real_length; |
duke@435 | 360 | } |
duke@435 | 361 | ++real_length; |
duke@435 | 362 | } |
duke@435 | 363 | check_verification_type_array_size( |
duke@435 | 364 | real_length, max_locals, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 365 | if (first) { |
duke@435 | 366 | offset = offset_delta; |
duke@435 | 367 | } else { |
duke@435 | 368 | offset = pre_frame->offset() + offset_delta + 1; |
duke@435 | 369 | } |
duke@435 | 370 | frame = new StackMapFrame( |
duke@435 | 371 | offset, flags, real_length, 0, max_locals, |
duke@435 | 372 | max_stack, locals, NULL, _verifier); |
duke@435 | 373 | return frame; |
duke@435 | 374 | } |
duke@435 | 375 | if (frame_type == FULL) { |
duke@435 | 376 | // full_frame |
duke@435 | 377 | u1 flags = 0; |
duke@435 | 378 | u2 locals_size = _stream->get_u2(THREAD); |
duke@435 | 379 | int real_locals_size = 0; |
duke@435 | 380 | if (locals_size > 0) { |
duke@435 | 381 | locals = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 382 | THREAD, VerificationType, locals_size*2); |
duke@435 | 383 | } |
duke@435 | 384 | int i; |
duke@435 | 385 | for (i=0; i<locals_size; i++) { |
duke@435 | 386 | locals[real_locals_size] = parse_verification_type(&flags, THREAD); |
duke@435 | 387 | if (locals[real_locals_size].is_category2()) { |
duke@435 | 388 | locals[real_locals_size + 1] = |
duke@435 | 389 | locals[real_locals_size].to_category2_2nd(); |
duke@435 | 390 | ++real_locals_size; |
duke@435 | 391 | } |
duke@435 | 392 | ++real_locals_size; |
duke@435 | 393 | } |
duke@435 | 394 | check_verification_type_array_size( |
duke@435 | 395 | real_locals_size, max_locals, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 396 | u2 stack_size = _stream->get_u2(THREAD); |
duke@435 | 397 | int real_stack_size = 0; |
duke@435 | 398 | VerificationType* stack = NULL; |
duke@435 | 399 | if (stack_size > 0) { |
duke@435 | 400 | stack = NEW_RESOURCE_ARRAY_IN_THREAD( |
duke@435 | 401 | THREAD, VerificationType, stack_size*2); |
duke@435 | 402 | } |
duke@435 | 403 | for (i=0; i<stack_size; i++) { |
duke@435 | 404 | stack[real_stack_size] = parse_verification_type(NULL, THREAD); |
duke@435 | 405 | if (stack[real_stack_size].is_category2()) { |
duke@435 | 406 | stack[real_stack_size + 1] = stack[real_stack_size].to_category2_2nd(); |
duke@435 | 407 | ++real_stack_size; |
duke@435 | 408 | } |
duke@435 | 409 | ++real_stack_size; |
duke@435 | 410 | } |
duke@435 | 411 | check_verification_type_array_size( |
duke@435 | 412 | real_stack_size, max_stack, CHECK_VERIFY_(_verifier, NULL)); |
duke@435 | 413 | if (first) { |
duke@435 | 414 | offset = offset_delta; |
duke@435 | 415 | } else { |
duke@435 | 416 | offset = pre_frame->offset() + offset_delta + 1; |
duke@435 | 417 | } |
duke@435 | 418 | frame = new StackMapFrame( |
duke@435 | 419 | offset, flags, real_locals_size, real_stack_size, |
duke@435 | 420 | max_locals, max_stack, locals, stack, _verifier); |
duke@435 | 421 | return frame; |
duke@435 | 422 | } |
duke@435 | 423 | |
duke@435 | 424 | _stream->stackmap_format_error( |
duke@435 | 425 | "reserved frame type", CHECK_VERIFY_(pre_frame->verifier(), NULL)); |
duke@435 | 426 | return NULL; |
duke@435 | 427 | } |