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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,13ab88b30e0f779d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-28 14:15:06 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsmi-us.news.garr.it!NewsITBone-GARR!newsfeed.media.kyoto-u.ac.jp!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!feed.news.nacamar.de!news.tiscali.de!blackbush.xlink.net!blackbush.de.kpnqwest.net!news.erfurt.igrz.de!drcomp.erfurt.thur.de!not-for-mail From: Adrian Knoth Newsgroups: comp.lang.ada Subject: Re: Efficient Matrix? Date: 28 Dec 2002 22:07:08 GMT Organization: Modern Electronics Message-ID: References: <3e0b2a66_4@news.bluewin.ch> NNTP-Posting-Host: drcomp.erfurt.thur.de Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Server-Date: 28 Dec 2002 22:07:08 GMT User-Agent: slrn/0.9.7.4 (Linux) Xref: archiver1.google.com comp.lang.ada:32370 Date: 2002-12-28T22:07:08+00:00 List-Id: Robert A Duff wrote: > turns it into a binding requirement. 13.1(20) also mentions this. ACK. > So a standards conforming compiler can get away without supporting any > representation items at all. But a compiler that claims to support the > SP annex must obey 13.2(9). 9 For a packed array type, if the component subtype's Size is less than or equal to the word size, and Component_Size is not specified for the type, Component_Size should be less than or equal to the Size of the component subtype, rounded up to the nearest factor of the word size. How does this _forces_ a compiler to set a packed boolean array's Component_Size to 1? As I understand the paragraph it determines the compiler's behaviour if the Component_Size of a packed array is _not_ defined by the user. > I believe all compilers claim to support the SP annex. GNAT certainly does Sure. > So, I claim that a packed array of Boolean *must* have 'Component_Size >= 1, presuming SP support. I've not resurveyed all aspects of the RM, especially the dependencies, but I would, for now, acknowledge. > How about now? ;-) I guess I'll send a bug-report. Unfortunately the gcc-bug-database is write-only at the moment, so to say, there seems to be nobody carrying much about ProblemReports. -- mail: adi@thur.de http://adi.thur.de PGP: v2-key via keyserver Ein Mann ein Wort, eine Frau ein W�rterbuch.