From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: GNAT bug with assertions
Date: Fri, 10 Aug 2018 15:42:22 -0500
Date: 2018-08-10T15:42:22-05:00 [thread overview]
Message-ID: <pkktbf$3lr$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: lyd0uqyz76.fsf@pushface.org
"Simon Wright" <simon@pushface.org> wrote in message
news:lyd0uqyz76.fsf@pushface.org...
...
> IMO this is a bug in GNAT, present in CE2018 and FSF GCC 8 (and maybe
> earlier, didn't check).
Looks likely (I didn't check the wording to be certain). Predicate checks
should occur any time there is a conversion of an entire object to the
appropriate subtype, and that should happen in a return statement.
Randy.
next prev parent reply other threads:[~2018-08-10 20:42 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-08-10 10:29 GNAT bug with assertions AdaMagica
2018-08-10 14:23 ` Anh Vo
2018-08-10 15:16 ` Jacob Sparre Andersen
2018-08-10 16:16 ` Simon Wright
2018-08-10 20:42 ` Randy Brukardt [this message]
2018-08-12 18:35 ` AdaMagica
2018-08-12 18:51 ` Simon Wright
2018-08-13 9:03 ` AdaMagica
2018-08-13 9:07 ` Simon Wright
2018-08-13 15:54 ` Simon Wright
2018-08-13 16:55 ` Simon Wright
2018-08-14 2:37 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox