From patchwork Wed Dec 7 19:25:29 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joseph Myers X-Patchwork-Id: 61672 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 8ECA4388FB5C for ; Wed, 7 Dec 2022 19:25:51 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from esa3.mentor.iphmx.com (esa3.mentor.iphmx.com [68.232.137.180]) by sourceware.org (Postfix) with ESMTPS id AFAEE3834C31 for ; Wed, 7 Dec 2022 19:25:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org AFAEE3834C31 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com X-IronPort-AV: E=Sophos;i="5.96,225,1665475200"; d="scan'208";a="88733649" Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165]) by esa3.mentor.iphmx.com with ESMTP; 07 Dec 2022 11:25:34 -0800 IronPort-SDR: 8sfuW00b6nCinMA+NXc7ERNc6bpb/lyg17lXLoNHa5nOobbVtxD+UgKdPrB1SNWsARHOhtI9+i qKSZQizTAz04AadC1HqQ1p6OtzEF6R7RCJQdqThsrp+eo/Fw0V6VSdSIkOePY4WPVnnMriNiFR DqUAcNIUPGt49etIj476AuAnQQtBV2BKd1oCYT2vL/JQbxolt3VXO37zcGGIFdTEz76pbcmMqz VkX6H6/QnwsZrmrhA84QiqMn/NgXLqXrM56BvADna9vVqthDrdujLsxrPoQaIzFrXQFW4aaR5O tzQ= Date: Wed, 7 Dec 2022 19:25:29 +0000 From: Joseph Myers To: Subject: [committed] testsuite: Add test for C90 auto with implicit int Message-ID: MIME-Version: 1.0 X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-3115.6 required=5.0 tests=BAYES_00, GIT_PATCH_0, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" Add a test for the case of auto with implicit int in C90 mode, which is incompatible with C2x semantics (I missed adding such a test when implementing C2x auto). Tested for x86_64-pc-linux-gnu. * gcc.dg/c90-auto-1.c: New test. diff --git a/gcc/testsuite/gcc.dg/c90-auto-1.c b/gcc/testsuite/gcc.dg/c90-auto-1.c new file mode 100644 index 00000000000..f00f767c50a --- /dev/null +++ b/gcc/testsuite/gcc.dg/c90-auto-1.c @@ -0,0 +1,12 @@ +/* Test auto with implicit int for C90. */ +/* { dg-do compile } */ +/* { dg-options "-std=c90 -pedantic-errors" } */ + +void +f (void) +{ + /* This should have type int following C90 rules, whereas in C2x it + would have type double. */ + auto x = 1.5; + int *p = &x; +}