From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-399689-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 119913 invoked by alias); 2 Jun 2015 17:33:39 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 119901 invoked by uid 89); 2 Jun 2015 17:33:38 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.3 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,T_RP_MATCHES_RCVD autolearn=no version=3.3.2
X-HELO: nikam.ms.mff.cuni.cz
Received: from nikam.ms.mff.cuni.cz (HELO nikam.ms.mff.cuni.cz) (195.113.20.16) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Tue, 02 Jun 2015 17:33:36 +0000
Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202)	id E3567543F4B; Tue,  2 Jun 2015 19:33:31 +0200 (CEST)
Date: Tue, 02 Jun 2015 17:34:00 -0000
From: Jan Hubicka <hubicka@ucw.cz>
To: Joseph Myers <joseph@codesourcery.com>
Cc: Jan Hubicka <hubicka@ucw.cz>,	Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>,	gcc-patches@gcc.gnu.org, rguenther@suse.de
Subject: Re: Teach gimple_canonical_types_compatible_p about incomplete types
Message-ID: <20150602173331.GA13565@kam.mff.cuni.cz>
References: <20150524234944.GB71623@kam.mff.cuni.cz> <616E26E8-0AAF-4A31-A38A-AC40EAF13D12@gmail.com> <20150526001604.GA43680@kam.mff.cuni.cz> <alpine.DEB.2.10.1505292052250.17156@digraph.polyomino.org.uk> <20150529211758.GA51555@kam.mff.cuni.cz> <20150529225626.GA24506@kam.mff.cuni.cz> <alpine.DEB.2.10.1506011942040.18155@digraph.polyomino.org.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <alpine.DEB.2.10.1506011942040.18155@digraph.polyomino.org.uk>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SW-Source: 2015-06/txt/msg00224.txt.bz2

> On Sat, 30 May 2015, Jan Hubicka wrote:
> 
> > Joseph, does the attached testcase make sense for you? Is it defined? It is my
> > first attempt to really interpret C standard to detail.
> 
> I suppose it's defined if unsigned int is the type chosen as compatible 
> with that enum.  The test should be skipped for short_enums targets 
> (arm-eabi bare metal) (you can't simply use -fno-short-enums as then that 
> will fail the link-time compatibility checking).

thanks. I did not notice we have -fshort-enum by default targets. I suppose we want:
/* { dg-xfail-if "" { arm-eabi-* } { "*" } { "" } } */

Honza
> 
> -- 
> Joseph S. Myers
> joseph@codesourcery.com