]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
frame_overflow.adb: Improve portability.
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 9 Mar 2008 15:35:54 +0000 (15:35 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 9 Mar 2008 15:35:54 +0000 (15:35 +0000)
* gnat.dg/frame_overflow.adb: Improve portability.

From-SVN: r133056

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

index 10b5a150d4c2a0a1c6129d544c4397e63ad30a69..e7ff577516681aca9980c267630434f7d77c9478 100644 (file)
@@ -1,3 +1,7 @@
+2008-03-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/frame_overflow.adb: Improve portability.
+
 2008-03-06  Daniel Jacobowitz  <dan@codesourcery.com>
 
        * gcc.c-torture/execute/20080222-1.c: New test.
index 4172fc013ce993c81c823fde7688ac69584e2612..286c93d59838f60769383bed89e663c007931856 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