From: Mark Lorenzen <mark.lorenzen@gmail.com>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Mon, 11 Feb 2019 23:28:09 -0800 (PST)
Date: 2019-02-11T23:28:09-08:00 [thread overview]
Message-ID: <c93a844b-5513-4c67-8de9-0c5adaaa6c93@googlegroups.com> (raw)
In-Reply-To: <17375128-e016-4366-91ff-cd68f74689b3@googlegroups.com>
On Monday, February 11, 2019 at 10:36:56 PM UTC+1, Jesper Quorning wrote:
> I would like a note from GCC when a there is an implicit (hidden) exception rise like array bunds checking.
> It would be a simple way of inspecting your quality of code. For instance if there is array bunds checks in a loop I may like to rewrite/design a part of the program.
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.
Mark L
next prev parent reply other threads:[~2019-02-12 7:28 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 [this message]
2019-02-12 8:34 ` Jesper Quorning
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