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!news.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Mission-Critical Design: Ada.Unchecked_Deallocation vs Garbage Collection Date: Thu, 24 Jul 2014 07:52:47 +0100 Organization: A noiseless patient Spider Message-ID: References: <755is9pqec24if5ecnatvc05uindaphd40@4ax.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx05.eternal-september.org; posting-host="f008dfb2a20cab2735f9b6a28e892fd7"; logging-data="5300"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19VK2ahf56tkQxN+yOAul/4TUrn/+fKsw0=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin) Cancel-Lock: sha1:umFmMsxMLmUew+OekfMS1Fd6iPE= sha1:rXFRSTPu59aavlN3j53Ao7ic/3c= Xref: news.eternal-september.org comp.lang.ada:21172 Date: 2014-07-24T07:52:47+01:00 List-Id: Dennis Lee Bieber writes: > heavy time&money investment to certify that the binaries [...] have > not changed I was approached by an ex-colleague to help him understand why builds of the same source code with the same compiler (GNAT 3.16a1, Windows x VxWorks) didn't always produce the same executable. I couldn't (not at a distance, anyway). That's the sort of circumstance in which one really regrets not keeping the support contract up!