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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e44790cdcea9da82 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeeds.sol.net!posts.news.twtelecom.net!nnrp2.twtelecom.net!not-for-mail From: "Matthew Heaney" Newsgroups: comp.lang.ada References: <41651D37.4030805@mailinator.com> <2skt9qF1ljjdtU1@uni-berlin.de> <4165472D.2030704@mailinator.com><416573FA.4010003@mailinator.com> <87k6u2mj08.fsf@insalien.org><4166538E.6090907@mailinator.com><41665fe4$1_1@baen1673807.greenlnk.net><41669198.80608@mailinator.com> Subject: Re: Problem with -gnatt Date: Fri, 15 Oct 2004 16:11:37 -0400 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 Message-ID: <41702c1d$0$91011$39cecf19@news.twtelecom.net> Organization: Time-Warner Telecom NNTP-Posting-Date: 15 Oct 2004 19:59:25 GMT NNTP-Posting-Host: 7178acd9.news.twtelecom.net X-Trace: DXC=\4U4C=NofgNM`dM`1WSIFFC_A=>8kQj6MhHXa^^g6TZDDFB78Rk0MABdYZAA8S: "Stephen Leake" wrote in message news:mailman.251.1097331456.390.comp.lang.ada@ada-france.org... > "Alex R. Mosteo" writes: > > > > > I've tried to make a reproducer with an empty program and the > > instantiation, but then it works. ? > > Which supports the theory that it is simply a stack overflow. One possibility is that whichever piece of code is using the hashed map is calling Reserve_Capacity (or one of its older names, Set_Capacity or Ensure_Capacity) with a very large value, and this raises Storage_Error because the buckets array is too large.