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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.2.19 with SMTP id 19mr24787902ioc.23.1453840879800;
        Tue, 26 Jan 2016 12:41:19 -0800 (PST)
X-Received: by 10.182.166.41 with SMTP id zd9mr99284obb.1.1453840879781; Tue,
 26 Jan 2016 12:41:19 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!h5no9803714igh.0!news-out.google.com!l1ni8595igd.0!nntp.google.com!h5no9803712igh.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 26 Jan 2016 12:41:19 -0800 (PST)
In-Reply-To: <n88ce7$4sp$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=149.32.224.36;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.36
References: <56a360fa$0$3294$426a74cc@news.free.fr>
 <56a63690$0$3033$426a74cc@news.free.fr>
 <ecf9f205-b5ed-464f-9c8e-72400f412957@googlegroups.com>
 <56a753d0$0$3059$426a34cc@news.free.fr>
 <n88ce7$4sp$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <010749e4-18e5-40c9-8f37-0db634e91472@googlegroups.com>
Subject: Re: Predicate and value attribute
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Tue, 26 Jan 2016 20:41:19 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:29247
Date: 2016-01-26T12:41:19-08:00
List-Id: <comp.lang.ada>

On Tuesday, January 26, 2016 at 10:06:42 AM UTC-8, Jeffrey R. Carter wrote:
> On 01/26/2016 04:09 AM, Xavier Petit wrote:
> > 
> > procedure Sandbox is
> >    subtype Number is String
> >      with Dynamic_Predicate => Integer'Value (Number) in -1 .. 5;
> > 
> >    subtype Number2 is String
> >      with Dynamic_Predicate => Integer'Value (Number2) in -1 | 5;
> > 
> >    function Check_Number3 (Item : String) return Boolean
> >    is
> >      (Integer'Value (Item) in -1 .. 5);
> > 
> >    subtype Number3 is String
> >      with Dynamic_Predicate => Check_Number3 (Number3);
> > 
> >    Test : constant Number := "-1";
> >    Test2 : constant Number2 := "-1";
> >    Test3 : constant Number3 := "-1";
> > 
> > begin
> >    null;
> > end;
> 
> With GNAT 4.9.2 this compiles without problem.
 
A bug report should be in order. By the way, GNATMAKE GPL 2015 (20150428-49) was based on gcc version 4.9.3

Anh Vo