This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: module level flags
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Bruce Korb <bkorb at pacbell dot net>
- Cc: Robert Dewar <dewar at gnat dot com>, zack at codesourcery dot com, gcc at gcc dot gnu dot org
- Date: 29 Sep 2002 18:59:57 +0200
- Subject: Re: module level flags
- Organization: Integrable Solutions
- References: <20020929094132.3E262F2D68@nile.gnat.com> <3D972FFC.641F4F46@pacbell.net>
Bruce Korb <bkorb@pacbell.net> writes:
[...]
| If the standard says otherwise, then this construct:
|
| (mumble*)&stumble
|
| where 'stumble' is not of type 'mumble' must be deemed a
| hard error.
Not necessarily. The C abstract machine has a notion of "effective
type" and "compatible type". The cast by itself is not an error (and I
see no reason why it should be considered such). It is dereferencing
the resulting pointer that could be deemed an error if stumble isn't
really a mumble nor of type compatible with mumble.
-- Gaby