From patchwork Wed Mar 29 13:42:10 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: shiyulong@iscas.ac.cn X-Patchwork-Id: 76579 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:b0ea:0:b0:3b6:4342:cba0 with SMTP id b10csp424353vqo; Wed, 29 Mar 2023 06:44:28 -0700 (PDT) X-Google-Smtp-Source: AKy350aycXus8r8XRhzMbwXS1QdAobeWBvL+pZbheTzLk84g/aLTcW9iSthQ8GU6ytWTz/gVURvK X-Received: by 2002:a17:906:7141:b0:92b:c56a:7efe with SMTP id z1-20020a170906714100b0092bc56a7efemr20276096ejj.31.1680097468789; Wed, 29 Mar 2023 06:44:28 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1680097468; cv=none; d=google.com; s=arc-20160816; b=aNols06Nr2095iJvYJx3EDV9S/jMnQuSpTXnoBDjRFWhkrqC/jdrxdwmDw/skg9E6i SoYf9zmR41hq8mt2FTLHSyS2ooKXU2GJqXrhmzGiD53YmcV3xxUto43Hl6M13GjxXhNR vHVL7lncxkvj9SizeZUfsp8kvnpnOAHTj56ZkBx8pmJ0KGeLvvSNzDjLokJ1P7vFBsOw cQLhNFG2RoIjwHZJCLUmTWiLr39UozkycFjS73kjm03gagSG9zb24TkI82LYawVV1VZQ aUZ2tlRnZmj88O7CigOkljfKvl3fdztNvHkfTtm47SQ+mPGBAVZwGJOiysslC3GPa9qr /69Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:message-id:date:subject:cc:to :from:dmarc-filter:delivered-to; bh=gDODbUC8OjltaQxh2bOIIZORjXEMohBTyAYl6HNg6KY=; b=qbpnVhejnziC9io/+TFwWCjap+ijxWTbRmembquv6XxECwuBQar9VkJvpletaT8Pk0 tVwNnpGiHey0SDL+UZ+bn9CywxKEQoeLniiIM5f4x8CHW5yfp/98MlevYk6QK8pHeL4h cPBOy9PLcNwVSA5qiWEyobFX4JVnw/bUg/WCscdbV8NNWZjt5iXr/GJ6+gbjDlh5BCW3 1ro70QO1uVfQwy0WnNKzrY1F0t7AoHJhgjXdYzOf4VqF+HQf0RIhOoPSpbs7/XPguEjh f50PG+ni3xIGiWo3LZY8qvnwOTh2nLA1Yo6Wh0eAiOG9ItwJUdKSH06Dz5S/1uC/1ha3 QCqw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from sourceware.org (ip-8-43-85-97.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id tl26-20020a170907c31a00b0093dfd0a980bsi12775740ejc.172.2023.03.29.06.44.28 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 29 Mar 2023 06:44:28 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 06D7A3850235 for ; Wed, 29 Mar 2023 13:44:05 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from cstnet.cn (smtp25.cstnet.cn [159.226.251.25]) by sourceware.org (Postfix) with ESMTP id 41C3F3851AB9 for ; Wed, 29 Mar 2023 13:42:31 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 41C3F3851AB9 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=iscas.ac.cn Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=iscas.ac.cn Received: from localhost.localdomain (unknown [43.139.163.53]) by APP-05 (Coremail) with SMTP id zQCowADX32dBQCRk+KDSCw--.23159S2; Wed, 29 Mar 2023 21:42:25 +0800 (CST) From: shiyulong@iscas.ac.cn To: gcc-patches@gcc.gnu.org Cc: andrew@sifive.com, palmer@dabbelt.com, kito.cheng@gmail.com, jim.wilson.gcc@gmail.com, wuwei2016@iscas.ac.cn, jiawei@iscas.ac.cn, shihua@iscas.ac.cn, yulong Subject: [PATCH V1] RISCV: Modified validation information for contracts-tmpl-spec2.C Date: Wed, 29 Mar 2023 21:42:10 +0800 Message-Id: <20230329134210.19370-1-shiyulong@iscas.ac.cn> X-Mailer: git-send-email 2.17.1 X-CM-TRANSID: zQCowADX32dBQCRk+KDSCw--.23159S2 X-Coremail-Antispam: 1UD129KBjvJXoW7WrW7AF4xCF4rGw1kWr47CFg_yoW8CrWfpr yqkw13AFy0yFWrK3WjqrW8C34fta1ktF18Z3ykKr1qywn3twnagF18Cr42vwn8Jrn5Xasa kw4Skw1qkFsavrUanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDU0xBIdaVrnRJUUUvF14x267AKxVW8JVW5JwAFc2x0x2IEx4CE42xK8VAvwI8IcIk0 rVWrJVCq3wAFIxvE14AKwVWUJVWUGwA2ocxC64kIII0Yj41l84x0c7CEw4AK67xGY2AK02 1l84ACjcxK6xIIjxv20xvE14v26r4j6ryUM28EF7xvwVC0I7IYx2IY6xkF7I0E14v26r4j 6F4UM28EF7xvwVC2z280aVAFwI0_Cr1j6rxdM28EF7xvwVC2z280aVCY1x0267AKxVW0oV Cq3wAS0I0E0xvYzxvE52x082IY62kv0487Mc02F40EFcxC0VAKzVAqx4xG6I80ewAv7VC0 I7IYx2IY67AKxVWUJVWUGwAv7VC2z280aVAFwI0_Jr0_Gr1lOx8S6xCaFVCjc4AY6r1j6r 4UM4x0Y48IcxkI7VAKI48JM4x0x7Aq67IIx4CEVc8vx2IErcIFxwAKzVCY07xG64k0F24l c2xSY4AK6cvj6ry8MxAIw28IcxkI7VAKI48JMxC20s026xCaFVCjc4AY6r1j6r4UMI8I3I 0E5I8CrVAFwI0_Jr0_Jr4lx2IqxVCjr7xvwVAFwI0_JrI_JrWlx4CE17CEb7AF67AKxVWU tVW8ZwCIc40Y0x0EwIxGrwCI42IY6xIIjxv20xvE14v26r1j6r1xMIIF0xvE2Ix0cI8IcV CY1x0267AKxVWUJVW8JwCI42IY6xAIw20EY4v20xvaj40_Jr0_JF4lIxAIcVC2z280aVAF wI0_Jr0_Gr1lIxAIcVC2z280aVCY1x0267AKxVWUJVW8JbIYCTnIWIevJa73UjIFyTuYvj fUYtC7UUUUU X-Originating-IP: [43.139.163.53] X-CM-SenderInfo: 5vkl53porqwq5lvft2wodfhubq/ X-Spam-Status: No, score=-12.7 required=5.0 tests=BAYES_00, GIT_PATCH_0, 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+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1761709883101940360?= X-GMAIL-MSGID: =?utf-8?q?1761709883101940360?= From: yulong This patch fixes the problem of the contracts-tmpl-spec2.c running failure. When run the dejagnu test, I find that the output is inconsistent with that verified in the testcase. So I try to modify it, and then it can be passed. gcc/testsuite/ChangeLog: * g++.dg/contracts/contracts-tmpl-spec2.C:delete some output information --- gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C | 6 ------ 1 file changed, 6 deletions(-) diff --git a/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C b/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C index 82117671b2d..17048584ac9 100644 --- a/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C +++ b/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C @@ -369,15 +369,9 @@ int main(int, char**) // { dg-output {contract violation in function G3::f at .*:148: s > 2(\n|\r\n|\r)} } // { dg-output {\[continue:on\](\n|\r\n|\r)} } // { dg-output {G3 full int double(\n|\r\n|\r)} } -// { dg-output {contract violation in function G3::f at .*:124: t > 0(\n|\r\n|\r)} } -// { dg-output {\[continue:on\](\n|\r\n|\r)} } -// { dg-output {contract violation in function G3::f at .*:125: s > 0(\n|\r\n|\r)} } -// { dg-output {\[continue:on\](\n|\r\n|\r)} } // { dg-output {G3 general T S(\n|\r\n|\r)} } // { dg-output {contract violation in function G3::f at .*:139: t > 1(\n|\r\n|\r)} } // { dg-output {\[continue:on\](\n|\r\n|\r)} } -// { dg-output {contract violation in function G3::f at .*:140: s > 1(\n|\r\n|\r)} } -// { dg-output {\[continue:on\](\n|\r\n|\r)} } // { dg-output {G3 partial int S(\n|\r\n|\r)} } // { dg-output {G3 full int C(\n|\r\n|\r)} } // { dg-output {G3 full int C(\n|\r\n|\r)} }