This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] typeof: Remove type qualifiers for atomic types
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Sebastian Huber <sebastian dot huber at embedded-brains dot de>
- Cc: <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 25 Jun 2014 15:56:36 +0000
- Subject: Re: [PATCH] typeof: Remove type qualifiers for atomic types
- Authentication-results: sourceware.org; auth=none
- References: <1403708691-26883-1-git-send-email-sebastian dot huber at embedded-brains dot de>
On Wed, 25 Jun 2014, Sebastian Huber wrote:
> 2014-06-25 Sebastian Huber <sebastian.huber@embedded-brains.de>
>
> * c-parser.c (c_parser_declaration_or_fndef): Discard all type
> qualifiers in __auto_type for atomic types.
> (c_parser_typeof_specifier): Discard all type qualifiers in
> __typeof__ for atomic types.
This patch should include a testcase that typeof is discarding volatile
(you can e.g. declare an extern variable twice, once as int and once as
typeof (*p) where p is volatile _Atomic int *, so the type compatibility
check fails unless volatile is discarded).
--
Joseph S. Myers
joseph@codesourcery.com