From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,XPRIO autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1963c56ce0046a64,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-12 01:16:59 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsoutpeer01.lnd.ops.eu.uu.net!lnewsinpeer01.lnd.ops.eu.uu.net!bnewsoutpeer01.bru.ops.eu.uu.net!bnewsinpeer01.bru.ops.eu.uu.net!bnewspost00.bru.ops.eu.uu.net!emea.uu.net!read.news.de.uu.net!not-for-mail
From: "Vincent Smeets" <Nobody@No.SPAM.org>
Newsgroups: comp.lang.ada
Subject: compiler error in GNAT 3.14a1
Date: Thu, 12 Feb 2004 10:16:56 +0100
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <402b4488$0$280$4d4ebb8e@read.news.de.uu.net>
NNTP-Posting-Host: zerberus.cci.de
X-Trace: 1076577417 read.news.de.uu.net 280 193.103.165.100
X-Complaints-To: abuse@de.uu.net
Xref: archiver1.google.com comp.lang.ada:5478
Date: 2004-02-12T10:16:56+01:00
List-Id: <comp.lang.ada>

Hallo,

I have found a compiler error in GNAT 3.14a1.

I have a record D with two components E and F. The layout of the record is
defined by a representation clause. By a typing error, I defined the
bit-range to be zero (0 .. 0). See record D2. The compiler compiles the file
without an error or warning and changes the layout of the record.

I would at least acpect a warning from the compiler.



azha:592$ cat a.ads
package A is

   type B is range 0 .. 255;
   for B'Size use 8;

   type C is array (Integer range 1 .. 4) of B;
   for C'Component_Size use 8;

   type D is
      record
         E : C;
         F : B;
      end record;
   for D use
      record
         E at 0 range 0 .. 4 * 8 - 1;
         F at 4 range 0 ..     8 - 1;
      end record;

   type D2 is
      record
         E : C;
         F : B;
      end record;
   for D2 use
      record
         E at 0 range 0 .. 0 * 8 - 1;
         F at 4 range 0 ..     8 - 1;
      end record;

end A;
azha:593$ gcc -c -gnatR2 -gnatv -gnatwa a.ads

GNAT 3.14a1 (20010503) Copyright 1992-2001 Free Software Foundation, Inc.

Compiling: a.ads (source file time stamp: 2004-02-12 08:59:47)
 31 lines: No errors

Representation information for unit A (spec)
--------------------------------------------

for B'Size use 8;
for B'Alignment use 1;

for C'Size use 32;
for C'Alignment use 1;
for C'Component_Size use 8;

for D'Size use 40;
for D'Alignment use 1;
for D use record
   E at 0 range  0 .. 31;
   F at 4 range  0 ..  7;
end record;

for D2'Size use 72;
for D2'Alignment use 1;
for D2 use record
   E at 5 range  0 .. 31;
   F at 4 range  0 ..  7;
end record;
azha:594$