From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 128299 invoked by alias); 2 Jun 2015 17:37:21 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 128289 invoked by uid 89); 2 Jun 2015 17:37:21 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.3 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: relay1.mentorg.com Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 02 Jun 2015 17:37:20 +0000 Received: from nat-ies.mentorg.com ([192.94.31.2] helo=SVR-IES-FEM-01.mgc.mentorg.com) by relay1.mentorg.com with esmtp id 1Yzq7o-0003ZG-MH from joseph_myers@mentor.com ; Tue, 02 Jun 2015 10:37:16 -0700 Received: from digraph.polyomino.org.uk (137.202.0.76) by SVR-IES-FEM-01.mgc.mentorg.com (137.202.0.104) with Microsoft SMTP Server id 14.3.224.2; Tue, 2 Jun 2015 18:37:15 +0100 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.82) (envelope-from ) id 1Yzq7l-0006vp-Qt; Tue, 02 Jun 2015 17:37:13 +0000 Date: Tue, 02 Jun 2015 17:43:00 -0000 From: Joseph Myers To: Jan Hubicka CC: Bernhard Reutner-Fischer , , Subject: Re: Teach gimple_canonical_types_compatible_p about incomplete types In-Reply-To: <20150602173331.GA13565@kam.mff.cuni.cz> Message-ID: References: <20150524234944.GB71623@kam.mff.cuni.cz> <616E26E8-0AAF-4A31-A38A-AC40EAF13D12@gmail.com> <20150526001604.GA43680@kam.mff.cuni.cz> <20150529211758.GA51555@kam.mff.cuni.cz> <20150529225626.GA24506@kam.mff.cuni.cz> <20150602173331.GA13565@kam.mff.cuni.cz> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-SW-Source: 2015-06/txt/msg00229.txt.bz2 On Tue, 2 Jun 2015, Jan Hubicka wrote: > > 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-* } { "*" } { "" } } */ Well, not that (which matches "eabi" against the vendor part of the triplet), but skip for the short_enums effective-target keyword. -- Joseph S. Myers joseph@codesourcery.com