From 8bbd1a30525d51ddc23e1179771f9d3abff43f9a Mon Sep 17 00:00:00 2001 From: aj Date: Fri, 5 May 2000 08:44:09 +0000 Subject: [PATCH] 2000-05-04 Andreas Jaeger * gcc.dg/noreturn-2.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@33704 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/noreturn-2.c | 12 ++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/noreturn-2.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c431e0ba77c..de57179695c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-05-04 Andreas Jaeger + + * gcc.dg/noreturn-2.c: New test. + 2000-05-04 Neil Booth * gcc.dg/cpp-opprec.c: New tests for operator precedence in the diff --git a/gcc/testsuite/gcc.dg/noreturn-2.c b/gcc/testsuite/gcc.dg/noreturn-2.c new file mode 100644 index 00000000000..a323eacefd5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/noreturn-2.c @@ -0,0 +1,12 @@ +/* Check for invalid "noreturn" warning. */ +/* { dg-do compile } */ +/* { dg-options "-O3 -Wall" } */ +extern void abort (void) __attribute__ ((__noreturn__)); + +void noreturn (int x) __attribute__ ((__noreturn__)); + +void +noreturn (int x) +{ + abort (); +} -- 2.11.0