From c850a642e1dfd3a15335d86976015c4a5064b5df Mon Sep 17 00:00:00 2001
From: Kito Cheng <kito.cheng@sifive.com>
Date: Mon, 20 Jul 2020 14:41:04 +0800
Subject: [PATCH] testsuite: Add signal checking for signal related testcase in
 analyzer.

 - 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 4dcbcc0..43f911b 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 a56acb0..d047c67 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 5b30888..f5072b5 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 4b68b6d..4ee6f0e 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 38d4024..cb1e7e4 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 4e464ff..81ac812 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 f518451..ea2290c 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 a567124..41a819b 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.7.4