From: Jesper Quorning <jesper.quorning@gmail.com>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Tue, 12 Feb 2019 00:34:37 -0800 (PST)
Date: 2019-02-12T00:34:37-08:00 [thread overview]
Message-ID: <a1b4a9e2-8db3-4aed-8b2d-fda5056a28fa@googlegroups.com> (raw)
In-Reply-To: <c93a844b-5513-4c67-8de9-0c5adaaa6c93@googlegroups.com>
On Tuesday, February 12, 2019 at 8:28:11 AM UTC+1, Mark Lorenzen wrote:
> Do you have som example code at hand? If so, please try and compile it with pragma Restrictions (No_Exception_Propagation) is in effect and switch -gnatw.x (yes including the dot and x). I have used this to find all places in the code, where a run-time error could be raised. It is not an optimal solution due to the pragma and possible local exception handlers, but could give an idea of what GNAT is already capable of.
I do not hate exceptions. I would like to improve the quality of my programming by getting notes where the compiler may rise an exception.
An now I also like to inspect the quality of the compiler. The vender may choose to hide the implicit expections caused by sub-optimal compiler quality.
Jesper.
next prev parent reply other threads:[~2019-02-12 8:34 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-10 2:03 GNAT proposal: note on implicit exceptions insertion Jesper Quorning
2019-02-10 18:08 ` Simon Wright
2019-02-11 21:36 ` Jesper Quorning
2019-02-11 22:31 ` Anh Vo
2019-02-11 23:41 ` Randy Brukardt
2019-02-12 7:05 ` Jesper Quorning
2019-02-12 23:08 ` Randy Brukardt
2019-02-16 4:30 ` Brad Moore
2019-02-16 16:15 ` Jesper Quorning
2019-02-12 8:19 ` Dmitry A. Kazakov
2019-02-12 8:35 ` Jesper Quorning
2019-02-12 9:20 ` Dmitry A. Kazakov
2019-02-12 12:46 ` Jesper Quorning
2019-02-12 7:28 ` Mark Lorenzen
2019-02-12 8:34 ` Jesper Quorning [this message]
2019-02-12 22:31 ` Fedja Beader
2019-02-13 10:42 ` Simon Wright
2019-02-11 6:53 ` Mark Lorenzen
2019-02-11 8:13 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox