From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Mon, 11 Feb 2019 14:31:06 -0800 (PST)
Date: 2019-02-11T14:31:06-08:00 [thread overview]
Message-ID: <26e026ba-4045-46a6-9909-4a5c112eade1@googlegroups.com> (raw)
In-Reply-To: <17375128-e016-4366-91ff-cd68f74689b3@googlegroups.com>
On Monday, February 11, 2019 at 1:36:56 PM UTC-8, Jesper Quorning wrote:
> søndag den 10. februar 2019 kl. 19.08.05 UTC+1 skrev Simon Wright:
> > Jesper Quorning <jesper.quorning@gmail.com> writes:
> >
> > Don't you already get a warning if a CE is going to be raised at
> > runtime?
>
> 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.
GNAT gives warning about exception (mostly CE) to be raised for codes violating Ada run time language rules. These rules spread through out the Ada Language Reference Manual. Therefore, GNAT document may not reference all cases.
Anh Vo
next prev parent reply other threads:[~2019-02-11 22:31 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 [this message]
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
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