* [committed] testsuite: Add signal checking for signal related testcase in analyzer.
@ 2020-07-21 6:28 Kito Cheng
2020-07-21 12:45 ` David Malcolm
0 siblings, 1 reply; 2+ messages in thread
From: Kito Cheng @ 2020-07-21 6:28 UTC (permalink / raw)
To: gcc-patches, kito.cheng, dmalcolm; +Cc: Kito Cheng
- 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 <stdio.h>
#include <signal.h>
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 <stdio.h>
#include <signal.h>
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 <stdio.h>
#include <signal.h>
#include <stdlib.h>
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 <stdio.h>
#include <signal.h>
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 <stdio.h>
#include <signal.h>
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 <stdlib.h>
#include <signal.h>
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 <stdio.h>
#include <signal.h>
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 <signal.h>
#include <stdlib.h>
--
2.27.0
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [committed] testsuite: Add signal checking for signal related testcase in analyzer.
2020-07-21 6:28 [committed] testsuite: Add signal checking for signal related testcase in analyzer Kito Cheng
@ 2020-07-21 12:45 ` David Malcolm
0 siblings, 0 replies; 2+ messages in thread
From: David Malcolm @ 2020-07-21 12:45 UTC (permalink / raw)
To: Kito Cheng, gcc-patches, kito.cheng
On Tue, 2020-07-21 at 14:28 +0800, Kito Cheng wrote:
> - 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(+)
Thanks.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-07-21 12:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-21 6:28 [committed] testsuite: Add signal checking for signal related testcase in analyzer Kito Cheng
2020-07-21 12:45 ` David Malcolm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).