test_name 	 manifest-string-type
test_description In on-demand void-safety the type of manifest strings is incorrectly computed to be STRING_32 instead of STRING_8 and it causes the compiler to crash at degree -1. Note this happens when using non-safe EiffelBase.

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

compile_frozen
compile_result validity_error NONE VD46

abort_compile
cleanup_compile

copy_sub	Ace_safe $TEST Ace

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

test_end