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!mx02.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: GNAT.Serial_Communication and Streams Date: Wed, 25 Nov 2015 08:07:50 +0000 Organization: A noiseless patient Spider Message-ID: References: <1pl8set3ocirg.1v92rqtxaoq3z$.dlg@40tude.net> <69b11711-7f19-4b0f-9a5e-66b873a72cc2@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="fa1ef3748c46c80a9a627d7896b0bfd1"; logging-data="2863"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/nmGShZEVKfWn3bk5sychyrWTAqpMT4/0=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) Cancel-Lock: sha1:M5VSEhGsA7AIbi6Z1xok290oY2k= sha1:UqFzIqW8WQZuu+xr0fN/guXCIMc= Xref: news.eternal-september.org comp.lang.ada:28533 Date: 2015-11-25T08:07:50+00:00 List-Id: Shark8 writes: > On Tuesday, November 24, 2015 at 3:45:52 AM UTC-7, Dmitry A. Kazakov wrote: >> On Tue, 24 Nov 2015 10:28:20 +0000, Simon Wright wrote: >> > I wholly agree with "trust, but verify", though! >> >> You can verify given compiler for given machine. You cannot do that >> in general. > > Whyever not? You might be able to do it for some ideal compiler, but I'd be mightily impressed if someone managed it for GCC. Anyway, if someone wanted to use GNAT's streams for an Atmel SAM3X-based system, they'd want to check them out on _that_ platform, and they wouldn't care whether they worked on PowerPC (we used an XDR version of GNAT's stream attributes for communication between PowerPC and x86 with no problems. But I have to say it was for recording for analysis rather than for anything immediately mission-critical!)