equal
deleted
inserted
replaced
1397 |
1397 |
1398 #ifdef ASSERT |
1398 #ifdef ASSERT |
1399 int pre_bc_sp = sp(); |
1399 int pre_bc_sp = sp(); |
1400 int inputs, depth; |
1400 int inputs, depth; |
1401 bool have_se = !stopped() && compute_stack_effects(inputs, depth, /*for_parse*/ true); |
1401 bool have_se = !stopped() && compute_stack_effects(inputs, depth, /*for_parse*/ true); |
1402 assert(!have_se || pre_bc_sp >= inputs, err_msg("have enough stack to execute this BC: pre_bc_sp=%d, inputs=%d", pre_bc_sp, inputs)); |
1402 assert(!have_se || pre_bc_sp >= inputs, err_msg_res("have enough stack to execute this BC: pre_bc_sp=%d, inputs=%d", pre_bc_sp, inputs)); |
1403 #endif //ASSERT |
1403 #endif //ASSERT |
1404 |
1404 |
1405 do_one_bytecode(); |
1405 do_one_bytecode(); |
1406 |
1406 |
1407 assert(!have_se || stopped() || failing() || (sp() - pre_bc_sp) == depth, "correct depth prediction"); |
1407 assert(!have_se || stopped() || failing() || (sp() - pre_bc_sp) == depth, "correct depth prediction"); |