From patchwork Wed Apr 27 10:47:40 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Kaz Kojima X-Patchwork-Id: 93030 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id E5D16B6EE8 for ; Wed, 27 Apr 2011 20:49:20 +1000 (EST) Received: (qmail 16296 invoked by alias); 27 Apr 2011 10:49:15 -0000 Received: (qmail 16282 invoked by uid 22791); 27 Apr 2011 10:49:13 -0000 X-SWARE-Spam-Status: No, hits=-2.1 required=5.0 tests=AWL, BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, SPF_HELO_PASS, T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mo11.iij4u.or.jp (HELO mo.iij4u.or.jp) (210.138.174.79) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 27 Apr 2011 10:48:31 +0000 Received: by mo.iij4u.or.jp (mo11) id p3RAmQgM009215; Wed, 27 Apr 2011 19:48:26 +0900 Received: from localhost (238.152.138.210.bn.2iij.net [210.138.152.238]) by mbox.iij4u.or.jp (mbox11) id p3RAmJOv020372; Wed, 27 Apr 2011 19:48:26 +0900 Date: Wed, 27 Apr 2011 19:47:40 +0900 (JST) Message-Id: <20110427.194740.191936253.kkojima@rr.iij4u.or.jp> To: joseph@codesourcery.com Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH Commitred] Fix PR target/48767 From: Kaz Kojima In-Reply-To: References: <20110427.080439.388848828.kkojima@rr.iij4u.or.jp> Mime-Version: 1.0 X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org "Joseph S. Myers" wrote: > Yes, that testcase looks like what I had in mind, but you don't need the > dg-* directives (the defaults in gcc.c-torture/compile should be fine). > >> BTW, is it valid C? > > I think this should be considered the same as passing a type such as > "short" that can never be the promoted argument type: undefined behavior > at runtime if the call is executed. Thanks for the explanation. I've committed the testcase below on trunk. Regards, kaz --- 2011-04-27 Kaz Kojima PR target/48767 * gcc.c-torture/compile/pr48767.c: New test. diff -uprN ORIG/trunk/gcc/testsuite/gcc.c-torture/compile/pr48767.c trunk/gcc/testsuite/gcc.c-torture/compile/pr48767.c --- ORIG/trunk/gcc/testsuite/gcc.c-torture/compile/pr48767.c 1970-01-01 09:00:00.000000000 +0900 +++ trunk/gcc/testsuite/gcc.c-torture/compile/pr48767.c 2011-04-27 19:28:47.000000000 +0900 @@ -0,0 +1,7 @@ +/* PR target/48767 */ + +void +foo (__builtin_va_list ap) +{ + __builtin_va_arg (ap, void); +}