From patchwork Tue Jul 21 06:28:38 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Kito Cheng X-Patchwork-Id: 1332819 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Authentication-Results: ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=sourceware.org; envelope-from=gcc-patches-bounces@gcc.gnu.org; receiver=) Authentication-Results: ozlabs.org; dmarc=none (p=none dis=none) header.from=sifive.com Authentication-Results: ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=sifive.com header.i=@sifive.com header.a=rsa-sha256 header.s=google header.b=AfKzeGcR; dkim-atps=neutral Received: from sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 4B9pZt4BMxz9sRW for ; Tue, 21 Jul 2020 16:28:52 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0066E3851C0C; Tue, 21 Jul 2020 06:28:48 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-pj1-x1031.google.com (mail-pj1-x1031.google.com [IPv6:2607:f8b0:4864:20::1031]) by sourceware.org (Postfix) with ESMTPS id 2F31E3858D38 for ; Tue, 21 Jul 2020 06:28:45 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 2F31E3858D38 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=sifive.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=kito.cheng@sifive.com Received: by mail-pj1-x1031.google.com with SMTP id f16so1158841pjt.0 for ; Mon, 20 Jul 2020 23:28:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sifive.com; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=7Nzn9OBKR9kXEV3Qxh0bK97IOgrIdNxJKfINQp8ydg4=; b=AfKzeGcRt8SXYH5hHGtMCD1vF9XyVRcEyvLnXrj6PG8ifSB54/hkU8qbzKtAAOW+m6 E5pUqIxmb2NIXYGeMdlkVI0wFVlcKhvQ1TUosaLRxTkcMXV365u5KdLsb1mZXgzHlH4G 17nUydJjnUbgqBswUu9JEFWv26CZEGQTSDm92DFj9A3tPFWi8BNhbeHt/JSoRJoB6ngU hVwljw3LIKaQ0+JHe20SPCzcYB2ZjilUtkEX5EOJienImJaawmMvXGWQZv+FyVU58kOr n3h8fIEQV/zRCR3iv7yA/qWMBIpSTatzSmm/YfHWt/PlxZqXdUC+Nn1+QF6cZ0tpxiQz ettA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=7Nzn9OBKR9kXEV3Qxh0bK97IOgrIdNxJKfINQp8ydg4=; b=s67B6915aVALYTfgQHmjefkHNTbaquGJM3jINVODi3sw8M1+ahqu24vM7CX2gPjEx9 ArhwmAYZyw5T3vaixZ2V2aKEXYx5egwr0Tm1fnt/YWl1djy6g0+Uf+vP4uSSRwuqCCJD 08C6uBLdjbge/C6IEn4FC8PynGnARVj6b43vz5MOXSIIQnqMkPkTAcPqT1Y52VyHeeSh +qvQH+MwefgY6U4LJz072g2Aff8mzysEOy/mAV7QIAz4mPBwH/GMSR0cmHH2UuOGOKzh WsLK05Pw8oRvA71oS7Q4HoU5UjAMX+4ODfgrlpTwIwFBmynPpMAK+gOmS3KN27wqrs7o JfTA== X-Gm-Message-State: AOAM533feB49Vl7mQ/RUktGUTYoL2gzjlqWmBNl6xTMDMxf4J20zC7J1 xdnIaBbkNA2gzHrmtaeFTY7F9NacX7I= X-Google-Smtp-Source: ABdhPJxWJYUF0ccyF5dzzRDTrzHH7oCr1GadrYsfKSN1pr7qTYS1ZP8lEjdSDuI5LTwZNZsptY8kZA== X-Received: by 2002:a17:90a:1109:: with SMTP id d9mr3229021pja.201.1595312923576; Mon, 20 Jul 2020 23:28:43 -0700 (PDT) Received: from hsinchu02.internal.sifive.com (114-34-229-221.HINET-IP.hinet.net. [114.34.229.221]) by smtp.gmail.com with ESMTPSA id gn5sm1715749pjb.23.2020.07.20.23.28.41 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 20 Jul 2020 23:28:42 -0700 (PDT) From: Kito Cheng To: gcc-patches@gcc.gnu.org, kito.cheng@gmail.com, dmalcolm@redhat.com Subject: [committed] testsuite: Add signal checking for signal related testcase in analyzer. Date: Tue, 21 Jul 2020 14:28:38 +0800 Message-Id: <20200721062838.32409-1-kito.cheng@sifive.com> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 X-Spam-Status: No, score=-14.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) 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: , Cc: Kito Cheng Errors-To: gcc-patches-bounces@gcc.gnu.org Sender: "Gcc-patches" - Verifed on RISC-V and x86. gcc/testsuite/ChangeLog: * gcc.dg/analyzer/signal-1.c: Add dg-require-effective-target signal. * gcc.dg/analyzer/signal-2.c: Ditto. * gcc.dg/analyzer/signal-3.c: Ditto. * gcc.dg/analyzer/signal-4a.c: Ditto. * gcc.dg/analyzer/signal-4b.c: Ditto. * gcc.dg/analyzer/signal-5.c: Ditto. * gcc.dg/analyzer/signal-6.c: Ditto. * gcc.dg/analyzer/signal-exit.c: Ditto. --- gcc/testsuite/gcc.dg/analyzer/signal-1.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-2.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-3.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-4a.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-4b.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-5.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-6.c | 1 + gcc/testsuite/gcc.dg/analyzer/signal-exit.c | 1 + 8 files changed, 8 insertions(+) diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-1.c b/gcc/testsuite/gcc.dg/analyzer/signal-1.c index 4dcbcc0fc6bd..43f911ba648b 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-1.c @@ -1,6 +1,7 @@ /* Example of a bad call within a signal handler. 'handler' calls 'custom_logger' which calls 'fprintf', and 'fprintf' is not allowed from a signal handler. */ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-2.c b/gcc/testsuite/gcc.dg/analyzer/signal-2.c index a56acb060ec8..d047c677c419 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-2.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-2.c @@ -1,6 +1,7 @@ /* Example of a bad call within a signal handler. 'handler' calls 'custom_logger' which calls 'fprintf', and 'fprintf' is not allowed from a signal handler. */ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-3.c b/gcc/testsuite/gcc.dg/analyzer/signal-3.c index 5b3088887771..f5072b52f08b 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-3.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-3.c @@ -1,3 +1,4 @@ +/* { dg-require-effective-target signal } */ #include #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-4a.c b/gcc/testsuite/gcc.dg/analyzer/signal-4a.c index 4b68b6d045b9..4ee6f0e7d0e0 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-4a.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-4a.c @@ -2,6 +2,7 @@ /* { dg-options "-fanalyzer -fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */ /* { dg-enable-nn-line-numbers "" } */ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-4b.c b/gcc/testsuite/gcc.dg/analyzer/signal-4b.c index 38d402473574..cb1e7e475ae3 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-4b.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-4b.c @@ -2,6 +2,7 @@ /* { dg-options "-fanalyzer -fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */ /* { dg-enable-nn-line-numbers "" } */ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-5.c b/gcc/testsuite/gcc.dg/analyzer/signal-5.c index 4e464fffda54..81ac812ebbd3 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-5.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-5.c @@ -1,4 +1,5 @@ /* Example of other bad calls within a signal handler. */ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-6.c b/gcc/testsuite/gcc.dg/analyzer/signal-6.c index f51845167f5c..ea2290c4296a 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-6.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-6.c @@ -1,3 +1,4 @@ +/* { dg-require-effective-target signal } */ #include #include diff --git a/gcc/testsuite/gcc.dg/analyzer/signal-exit.c b/gcc/testsuite/gcc.dg/analyzer/signal-exit.c index a567124c7d4d..41a819b838c8 100644 --- a/gcc/testsuite/gcc.dg/analyzer/signal-exit.c +++ b/gcc/testsuite/gcc.dg/analyzer/signal-exit.c @@ -1,6 +1,7 @@ /* Example of a bad call within a signal handler with replacement alternative. 'handler' calls 'exit', and 'exit' is not allowed from a signal handler. But '_exit' is allowed. */ +/* { dg-require-effective-target signal } */ #include #include