Commit eafaa35b by Eric Botcazou Committed by Eric Botcazou

frame_overflow.adb: Improve portability.

	* gnat.dg/frame_overflow.adb: Improve portability.

From-SVN: r133054
parent be3d4789
2008-03-09 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/frame_overflow.adb: Improve portability.
2008-03-08 H.J. Lu <hongjiu.lu@intel.com> 2008-03-08 H.J. Lu <hongjiu.lu@intel.com>
PR target/35350 PR target/35350
-- { dg-do compile } -- { dg-do compile }
with System;
procedure frame_overflow is procedure frame_overflow is
type Bitpos_Range_T is new Positive; type Bitpos_Range_T is range 1..2**(System.Word_Size-1)-1;
type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean; type Bitmap_Array_T is array (Bitpos_Range_T) of Boolean;
type Bitmap_T is record type Bitmap_T is record
Bits : Bitmap_Array_T := (others => False); Bits : Bitmap_Array_T := (others => False);
end record; end record;
function -- { dg-error "too large" "" } function -- { dg-error "too large" }
Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T) return Bitmap_T Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T) return Bitmap_T
is is
Result: Bitmap_T := Bitmap; Result: Bitmap_T := Bitmap;
...@@ -18,7 +20,7 @@ procedure frame_overflow is ...@@ -18,7 +20,7 @@ procedure frame_overflow is
return Result; return Result;
end; end;
function -- { dg-error "too large" "" } function -- { dg-error "too large" }
Negate (Bitmap : Bitmap_T) return Bitmap_T is Negate (Bitmap : Bitmap_T) return Bitmap_T is
Result: Bitmap_T; Result: Bitmap_T;
begin begin
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment