* gnat.dg/frame_overflow.adb: Improve portability.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 9 Mar 2008 15:34:33 +0000 (15:34 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 9 Mar 2008 15:34:33 +0000 (15:34 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133054 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/frame_overflow.adb

index aff51c6..ee2790b 100644 (file)
@@ -1,3 +1,7 @@
+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>
 
        PR target/35350
index 4172fc0..286c93d 100644 (file)
@@ -1,15 +1,17 @@
 -- { dg-do compile }
 
+with System;
+
 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_T is record
       Bits : Bitmap_Array_T := (others => False);
    end record;
    
-   function -- { dg-error "too large" "" }
+   function -- { dg-error "too large" }
      Set_In (Bitmap : Bitmap_T; Bitpos : Bitpos_Range_T)  return Bitmap_T
    is
       Result: Bitmap_T := Bitmap;
@@ -18,7 +20,7 @@ procedure frame_overflow is
       return Result;
    end;
 
-   function -- { dg-error "too large" "" }
+   function -- { dg-error "too large" }
      Negate (Bitmap : Bitmap_T) return Bitmap_T is
       Result: Bitmap_T;
    begin