Compiler crash:

test: rewriting failed, trace:
	webdslc_main_0_0
	webdslc_main_0_0
	setup_adderror_for_random_testing_1_0
	webdslc_main2_0_0
	xtc_io_wrap_5_0
	option_wrap_5_0
	xtc_io_1_0
	xtc_temp_files_1_0
	restore_always_2_0
	xtc_webdslc_0_0
	dsl_to_core_0_0
	dsl_to_core_analysis_0_0
	stage_1_1
	dr_scope_1_1
	log_timed_1_1
	typecheck_0_0
	in_typechecking_phase_1_0
	dr_scope_1_1
	if_typechecking_2_0
	log_time_1_1
	if_statistics_2_0
	constraint_error_global_0_0
	filter_1_0
	constraint_extend_global_function_0_0
	extract_function_sig_0_0
[ test | critical ] Internal error: with clause failed unexpectedly in rule 'constraint-extend-global-function'

with input:

application f_Po5__2B8V

extend extend function Kyk_b ( ) : Void { }
Submitted by André Vieira on 2 July 2013 at 11:36

On 3 July 2013 at 11:59 Danny Groenewegen commented:

fixed in r5734


On 3 July 2013 at 11:59 Danny Groenewegen closed this issue.

On 16 July 2013 at 14:55 André Vieira tagged randomtesting

Log in to post comments