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!feeder.eternal-september.org!aioe.org!.POSTED.fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Intervention needed? Date: Wed, 3 Apr 2019 09:29:20 +0200 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader01.eternal-september.org comp.lang.ada:56052 Date: 2019-04-03T09:29:20+02:00 List-Id: On 2019-04-03 00:07, Randy Brukardt wrote: > Does anyone spend much time in a debugger when writing Ada? Well if there were a working one. GDB does not count. I am using tracing, but there are few cases where debugger could be easier to use. In the debugger you could inspect the states of variables and of other tasks. And you don't need to modify the code. It is quite often that I have to add, in addition to "standard" tracing, some more extensive tracing which I remove later. > Almost all of > the time I do it is to track down compiler bugs (hopefully something that > the average Ada user doesn't do often). With the default exception > information, there is little need to debug anything the majority of the > time. In some cases there is a long way to the exception. The most infamous case is an exception in the Finalize caused by attempted automatic finalization of dangling objects, which must not be there at all. (I mean both the dangling objects and finalization lists of! (:-)) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de