test_name 	 dead-code-removal-new_instance
test_description The feature `new_instance` should fail if requested type ID is removed as part of dead code elimination.

copy_sub 	 Ace $TEST Ace
copy_raw 	 a.e $CLUSTER a.e
copy_raw 	 b.e $CLUSTER b.e

copy_raw 	 test1.e $CLUSTER test.e

compile_frozen
compile_result	ok
c_compile_work
c_compile_result	ok
execute_work	NONE	exec_output_w
execute_result	ok
compare		exec_output_w output_alive

compile_final
compile_result	ok
c_compile_final
c_compile_result	ok
execute_final	NONE	exec_output_f
execute_result	ok
compare		exec_output_f output_removed

copy_raw 	 test2.e $CLUSTER test.e

compile_frozen
compile_result	validity_warning TEST "Unused Local"
c_compile_work
c_compile_result	ok
execute_work	NONE	exec_output_w
execute_result	ok
compare		exec_output_w output_alive

compile_final
compile_result	ok
c_compile_final
c_compile_result	ok
execute_final	NONE	exec_output_f
execute_result	ok
compare		exec_output_f output_removed

copy_raw 	 test3.e $CLUSTER test.e

compile_frozen
compile_result	ok
c_compile_work
c_compile_result	ok
execute_work	NONE	exec_output_w
execute_result	ok
compare		exec_output_w output_alive

compile_final
compile_result	ok
c_compile_final
c_compile_result	ok
execute_final	NONE	exec_output_f
execute_result	ok
compare		exec_output_f output_removed

test_end