M2compiler-V3/compiler/tests/t_trap_range.mod

MODULE TTrapRange;
// ISO range check: assigning an out-of-range value to a subrange must
// trap.  The harness expects SIGABRT (134) after parse/qbe/cc.
TYPE I = [0..10];
VAR x : I;
VAR i : INTEGER;
BEGIN
  i := 11;
  x := i
END TTrapRange.