This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix gnat.dg/pack19.adb on some platforms
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 09 Dec 2013 23:41:30 +0100
- Subject: Re: [patch] Fix gnat.dg/pack19.adb on some platforms
- Authentication-results: sourceware.org; auth=none
- References: <14008801 dot HoYYt5Iu7g at polaris> <52A63F1C dot 9080801 at redhat dot com>
> But isn't the test bogus if it depends on the result of loading a zero
> sized bitfield?
That's supported in Ada and the result is specified, it's the only allowed
value of the type of the bitfield (the type has precision 0 and is biased if
this value isn't zero). So this boils down to an implementation choice:
either we specifically detect this case up in the chain or we let it flow down
as usual. But since we handle the stores in an uniform way, I think that it
could make sense to do the same for the loads.
--
Eric Botcazou