M2compiler-V3/compiler/tests/t_trap_funcret.mod

MODULE TTrapFuncret;
(* Unhandled functionException is still a termination event (rc 134). *)
VAR N : INTEGER;

PROCEDURE Missing : INTEGER;
VAR i : INTEGER;
BEGIN
  i := 1;
  IF i = 0 THEN RETURN 1 END
END Missing;

BEGIN
  N := Missing
END TTrapFuncret.