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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,56760b0ebeac6ba1
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Need of help Leonid(dulman@ibm.net)
Date: 1997/02/10
Message-ID: <dewar.855571664@merv>#1/1
X-Deja-AN: 217782592
references: <5dhbjt$hbe@news.ibm.net.il> <dewar.855436299@merv>
 <u8n2tdm68y.fsf@ehmgs2.et.tu-dresden.de>
organization: New York University
newsgroups: comp.lang.ada
Date: 1997-02-10T00:00:00+00:00
List-Id: <comp.lang.ada>


Thomas Hoffman says, quoting me writing about default discriminants

<<GNAT may compile it, but it won't run it, and indeed I consider it a GNAT bug (o
n the todo list) that no
warning is issued at compile time for this misuse.
>>


Robert notes:

This is a truly ancient piece of text that Thomas dug up :-)
Anyway, GNAT now gives this warning, and has for some time:

     1. procedure j is
     2.   type x (m : natural := 0) is record
     3.      s : string (1 .. m);
                              |
        >>> warning: creation of object of this type may raise Storage_Error

     4.   end record;
     5.   g : x;
          |
        >>> warning: Storage_Error will be raised at run-time

     6. begin
     7.    null;
     8. end;