Subversion Repositories openrisc

-- { dg-do run }
 
procedure Unchecked_Union1 is
 
  type Bit is (Zero, One);
 
  type U (X : Bit := Zero) is record
    case X is
      when Zero => I: Integer;
      when One => F : Float;
    end case;
  end record;
  for U use record
    I at 0 range  0 .. 31;
    F at 0 range  0 .. 31;
  end record;
  pragma Unchecked_Union(U);
 
begin
  if U'Object_Size /= 32 then
    raise Program_Error;
  end if;
end;