//-------------------------------------------------------------------------
// Optimize range checking not to check when src and dst have same size
// and dst has no range
//-------------------------------------------------------------------------

main module RANGEOPT
    ARM X_RANGE_ERROR
    declare
	A : 6 bit integer
	B : 6 bit integer range 1..4
    enddeclare

    A := B
endmodule