1--  { dg-do run }
2--  { dg-options "-O0" }
3
4procedure Fixedpnt6 is
5
6  type T is delta 0.125 range -2.0 .. 1.875;
7
8  function Mult (A, B : T) return T is
9  begin
10    return T (A * B);
11  end;
12
13  R : T;
14
15begin
16  R := Mult (T'Last, T'Last);
17  raise Program_Error;
18exception
19   when Constraint_Error =>
20      null;
21end;
22