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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 11 Oct 2016 18:37:55 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Precondition on protected entry Date: Tue, 11 Oct 2016 19:37:52 -0400 Organization: IISS Elusive Unicorn Message-ID: References: X-Newsreader: Forte Agent 6.00/32.1186 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 166.170.26.33 X-Trace: sv3-7oWe7qBcgNSvorsNRUNwXaSlmVUe0Jr8PAMiLZKFiuUNlW2JIcQFpKVOkNGQrN2fD6UFrlOBpPo4gUH!esZ7mU4nvMdK4wJ3leMHuNYOqbbTSHNbxc3UJPIzREP3AEElqtujvAe7yXI2P8H3ScZTHPfAaDdI!7T/VYm2XY5jyBUpVIS96YokH3ow= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1611 Xref: news.eternal-september.org comp.lang.ada:32073 Date: 2016-10-11T19:37:52-04:00 List-Id: On Tue, 11 Oct 2016 18:02:31 +0100, Simon Wright declaimed the following: >I have this (Ravenscar, STM32F4) code: > > function Running return Boolean; > private >Is this a compiler bug, or is there something in e.g. ARM 6.1.1 that >I've missed? Just off the cuff -- does moving the declaration of the function to before the preconditions change things? -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/