Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Assertion context_p->next_scanner_info_p->source_p == context_p->source_p && context_p->next_scanner_info_p->type == SCANNER_TYPE_SWITCH in parser_parse_switch_statement_start #3117

Closed
renatahodovan opened this issue Sep 13, 2019 · 0 comments · Fixed by #3120
Labels
bug Undesired behaviour parser Related to the JavaScript parser

Comments

@renatahodovan
Copy link
Contributor

JerryScript revision

376cfea

Build platform

Linux-4.15.0-62-generic-x86_64-with-Ubuntu-18.04-bionic

Build steps
./tools/build.py --clean --debug --compile-flag=-fsanitize=address \
--compile-flag=-m32 --compile-flag=-fno-omit-frame-pointer \
--compile-flag=-fno-common --compile-flag=-g \
--strip=off --system-allocator=on --logging=on \
--linker-flag=-fuse-ld=gold --error-messages=on --profile=es2015-subset
Test case
var $ = class { } .prototype  = [ ]
switch ( '1' ) {
Output
ICE: Assertion 'context_p->next_scanner_info_p->source_p == context_p->source_p && context_p->next_scanner_info_p->type == SCANNER_TYPE_SWITCH' failed at jerryscript/jerry-core/parser/js/js-parser-statm.c(parser_parse_switch_statement_start):1235.
Error: ERR_FAILED_INTERNAL_ASSERTION
Backtrace
bt
#0  0xf7fd5079 in __kernel_vsyscall ()
#1  0xf77fc832 in raise () from /lib/i386-linux-gnu/libc.so.6
#2  0xf77fdcc1 in abort () from /lib/i386-linux-gnu/libc.so.6
#3  0x565797ef in jerry_port_fatal (code=ERR_FAILED_INTERNAL_ASSERTION) at jerryscript/jerry-port/default/default-fatal.c:71
#4  0x5661336b in jerry_fatal (code=ERR_FAILED_INTERNAL_ASSERTION) at jerryscript/jerry-core/jrt/jrt-fatals.c:58
#5  0x566133ac in jerry_assert_fail (assertion=0x566a41a0 "context_p->next_scanner_info_p->source_p == context_p->source_p && context_p->next_scanner_info_p->type == SCANNER_TYPE_SWITCH", file=0x566a37a0 "jerryscript/jerry-core/parser/js/js-parser-statm.c", function=0x56693f60 <__func__.5403.lto_priv.197> "parser_parse_switch_statement_start", line=1235) at jerryscript/jerry-core/jrt/jrt-fatals.c:82
#6  0x565b1666 in parser_parse_switch_statement_start.lto_priv.190 (context_p=0xffffc4b0) at jerryscript/jerry-core/parser/js/js-parser-statm.c:1234
#7  0x5656fac9 in parser_parse_statements (context_p=0xffffc4b0) at jerryscript/jerry-core/parser/js/js-parser-statm.c:2383
#8  0x565d1817 in parser_parse_source (arg_list_p=0x0, arg_list_size=0, source_p=0x566eda80 <buffer.lto_priv> "var UBound = 0 ; \nvar BUGNUMBER = 74474 ; \nvar summary = 'Testing switch statements with duplicate labels' ; \nvar status = '' ; \nvar f = class { f ( ) { } } .prototype .f ; \nvar actual = '' ; \nvar act"..., source_size=1396, parse_opts=0, error_location_p=0xffffc6c0) at jerryscript/jerry-core/parser/js/js-parser.c:2530
#9  0x565d457d in parser_parse_script (arg_list_p=0x0, arg_list_size=0, source_p=0x566eda80 <buffer.lto_priv> "var UBound = 0 ; \nvar BUGNUMBER = 74474 ; \nvar summary = 'Testing switch statements with duplicate labels' ; \nvar status = '' ; \nvar f = class { f ( ) { } } .prototype .f ; \nvar actual = '' ; \nvar act"..., source_size=1396, parse_opts=0, bytecode_data_p=0xffffc780) at jerryscript/jerry-core/parser/js/js-parser.c:2993
#10 0x56646c57 in jerry_parse (resource_name_p=0xffffcd90 "/home/reni/.fuzzinator_34114//jerryscript/picireny/243010487537740769481469148385537363433.js", resource_name_length=93, source_p=0x566eda80 <buffer.lto_priv> "var UBound = 0 ; \nvar BUGNUMBER = 74474 ; \nvar summary = 'Testing switch statements with duplicate labels' ; \nvar status = '' ; \nvar f = class { f ( ) { } } .prototype .f ; \nvar actual = '' ; \nvar act"..., source_size=1396, parse_opts=0) at jerryscript/jerry-core/api/jerry.c:420
#11 0x56643bac in main (argc=3, argv=0xffffcb14) at jerryscript/jerry-main/main-unix.c:734

Found by Fuzzinator with grammarinator.

@rerobika rerobika added bug Undesired behaviour parser Related to the JavaScript parser labels Sep 13, 2019
rerobika added a commit to rerobika/jerryscript that referenced this issue Sep 13, 2019
…ion scanning.

This patch fixes jerryscript-project#3117 and fixes jerryscript-project#3119.

JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik [email protected]
dbatyai pushed a commit that referenced this issue Sep 16, 2019
…ion scanning. (#3120)

This patch fixes #3117 and fixes #3119.

JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik [email protected]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Undesired behaviour parser Related to the JavaScript parser
Projects
None yet
2 participants