test_name integer-overflow-type
test_description Result of integer operations with overflow should be truncated to original integer type.

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

compile_frozen
compile_result ok
c_compile_work
c_compile_result ok

-- Melted code

copy_raw test.e $CLUSTER test.e

compile_melted
compile_result ok

execute_work NONE exec_output_m
execute_result ok

compare exec_output_m output

-- Frozen code

compile_frozen
compile_result ok
c_compile_work
c_compile_result ok

execute_work NONE exec_output_f
execute_result ok

compare exec_output_f output

cleanup_compile

test_end