test_name 	 unresolved-c-externals
test_description When a class has some compilation error and that some other class has some features removed, the Eiffel compiler actually does not remove them from `efrozen' causing a C compilation error.

copy_sub 	Ace $TEST Ace
copy_raw 	test_rev0.e $CLUSTER test.e

compile_melted
compile_result	ok

copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_raw 	test2.e $CLUSTER test2.e

compile_frozen
compile_result 	ok

c_compile_work
c_compile_result	ok

copy_raw 	test1_rev1.e $CLUSTER test1.e
copy_raw 	test2_rev1.e $CLUSTER test2.e

compile_frozen
compile_result 	validity_error TEST1 VEEN

copy_raw 	test1.e $CLUSTER test1.e

resume_compile
compile_result	ok

c_compile_work
c_compile_result	ok

test_end