--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name 	expanded-generic-dead-code
test_description A generic class has a routine with a local whose type is the formal generic parameter.  Another class inherits from the generic class and provides an expanded type as actual generic parameter, where the expanded type's base class has a creation procedure.  If the system is finalized with dead code removal on, the generated C code will compile but won't link.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_raw 	test2.e $CLUSTER test2.e
compile_final
compile_result 	 ok

c_compile_final
c_compile_result ok

execute_final	NONE exec_output1
execute_result	ok
compare		exec_output1 output

test_end