Assertion 'offset != 0 && (uint32_t) int_data->pos >= offset' failed in opfunc_jmp_up

[renatahodovan]

Jerry version:

Checked revision: aaeec7f
Build: debug.linux

OS:

Ubuntu 14.04, x86_64

Test case:

for(;;) {}

Backtrace:

ICE: Assertion 'offset != 0 && (uint32_t) int_data->pos >= offset' failed at jerryscript/jerry-core/vm/opcodes-agnostic.cpp(opfunc_jmp_up):195.
Error: ERR_FAILED_INTERNAL_ASSERTION
[Inferior 1 (process 13724) exited with code 0170]
(gdb) bt
#0  opfunc_jmp_up (opdata=..., int_data=0x7fffffffd590) at jerryscript/jerry-core/vm/opcodes-agnostic.cpp:195
#1  0x00000000004bfa60 in run_int_loop (int_data=0x7fffffffd590) at jerryscript/jerry-core/vm/vm.cpp:440
#2  0x00000000004b678d in run_int_from_pos (start_pos=0, this_binding_value=15, lex_env_p=0x7e9770 <_ZL13mem_heap_area.4015+48>, is_strict=false, 
    is_eval_code=false) at jerryscript/jerry-core/vm/vm.cpp:513
#3  0x00000000004bf82e in run_int () at jerryscript/jerry-core/vm/vm.cpp:381
#4  0x00000000004bd4d0 in jerry_run () at jerryscript/jerry-core/jerry.cpp:1243
#5  0x00000000004bbaff in main (argc=2, argv=0x7fffffffd938) at jerryscript/main-linux.cpp:248

[ruben-ayrapetyan]

Failure is caused by incorrect assertion condition in a jump opcode handler.
The assertion assumed that jump to the jump instruction itself is incorrect.
Actually, it is correct in case of empty infinite loop.

Pull request with fix: #217.

[ruben-ayrapetyan]

Regression test is not added, as current testing infrastructure doesn't provide a reliable way to test infinite loops.

[ruben-ayrapetyan]

Regression test is not added, as current testing infrastructure doesn't provide a reliable way to test infinite loops.

Issue about adding support for test cases like this: #243