This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/66162] Bug box compiling Ada.Finalization with -gnatc
- From: "simon at pushface dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sun, 17 May 2015 10:39:49 +0000
- Subject: [Bug ada/66162] Bug box compiling Ada.Finalization with -gnatc
- Auto-submitted: auto-generated
- References: <bug-66162-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66162
--- Comment #2 from simon at pushface dot org ---
(In reply to Eric Botcazou from comment #1)
> Why on Earth are you doing this? No plan to look into it.
Because I agree with Randy Brukardt in
https://groups.google.com/d/msg/comp.lang.ada/ECJm5qlxZKA/RKXuEQWN4NYJ that
â[n]ot having bounded containers is pretty much like not having arraysâ.
Itâs quite possible to build the Ada 2012 Bounded Vectors & Hashed Maps (&
presumably other bounded containers) without finalization provided youâre
willing to hack out iterators and references, which is the way Iâve gone up to
now; but it seems a real shame not to go the whole hog.
People who want to write Ada for MCUs arenât necessarily in the high-integrity
world; some would want to cram as much of the language as possible into the
RTS.