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-Thread: a07f3367d7,a4db0fc323f0b09e X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!feeder.news-service.com!newsfeed.straub-nv.de!news.musoftware.de!wum.musoftware.de!news.tornevall.net!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Barrier re-evaluation issue with GNAT 4.3.2 Date: Mon, 28 Sep 2009 11:38:18 -0700 Organization: TornevallNET - http://news.tornevall.net Message-ID: References: NNTP-Posting-Host: 42a2d69f1691ed093af4e9b7afcbc903 Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: c9e41e7c5f76e7e2e31092a0e23f33ce X-Complaints-To: abuse@tornevall.net X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN, FRENCH, GERMAN OR ANY OTHER LANGUAGE! In-Reply-To: X-Validate-Post: http://news.tornevall.net/validate.php?trace=c9e41e7c5f76e7e2e31092a0e23f33ce X-SpeedUI: 1738 X-Complaints-Italiano: Parlo la lingua non � italiano User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) X-Posting-User: 9b22bfe2855937f9b3faeec7cfc91295 Xref: g2news2.google.com comp.lang.ada:8517 Date: 2009-09-28T11:38:18-07:00 List-Id: Reto Buerki wrote: > > Update: we just noticed that the warning actually *does* show up but we > missed it in the previous build. > > I also think the warning is irrelevant. It seems that the compiler is > not smart enough to figure out that the Signal() entry is always open. An entry call is always potentially blocking, regardless of its barrier; see ARM 9.5.1. Technically, this code contains a bounded error. Since the potentially blocking operation was detected, your program should raise Program_Error; GNAT pretends that it hasn't detected that the operation is potentially blocking and lets you get away with only a warning. Other compilers (and even other versions of GNAT) may actually raise Program_Error. -- Jeff Carter "Strange women lying in ponds distributing swords is no basis for a system of government." Monty Python & the Holy Grail 66