diff options
| author | Kito Cheng <kito.cheng@sifive.com> | 2020-07-20 14:41:04 +0800 |
|---|---|---|
| committer | Kito Cheng <kito.cheng@sifive.com> | 2020-07-21 14:28:16 +0800 |
| commit | c850a642e1dfd3a15335d86976015c4a5064b5df (patch) | |
| tree | 8e32e9721bc2adac6e7126451b15ca48409ecb16 | |
| parent | 2ef4cf87a7c7f36c1fe523e4d71bbb4846ab0c35 (diff) | |
| download | gcc-c850a642e1dfd3a15335d86976015c4a5064b5df.zip gcc-c850a642e1dfd3a15335d86976015c4a5064b5df.tar.gz gcc-c850a642e1dfd3a15335d86976015c4a5064b5df.tar.bz2 | |
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.
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-1.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-2.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-3.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-4a.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-4b.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-5.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-6.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/signal-exit.c | 1 |
8 files changed, 8 insertions, 0 deletions
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> |