From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Custom Storage Pool questions Date: Wed, 15 Sep 2021 18:03:43 +0100 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: gioia.aioe.org; logging-data="45775"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin) X-Notice: Filtered by postfilter v. 0.9.2 Cancel-Lock: sha1:tX38ZtGrsd6VRtyc8UdsvNK9kSM= Xref: reader02.eternal-september.org comp.lang.ada:62748 List-Id: Simon Wright writes: > Well, I may well have missed the point somewhere, and maybe things > have changed since 2015, but as far as I can see, with FSF GCC 11.1.0, > the technique described in the blog is completely unnecessary. Looking at the current implementation in [1] it seems that I was right (I don't quite follow the complication of Typed.Header_Of at line 114; goes to show that if you're writing the compiler you can add attributes whenever it suits you, even if IMO they weren't actually needed) [1] https://github.com/AdaCore/gnatcoll-core/blob/master/src/gnatcoll-storage_pools-headers.adb