/* Test for builtin noreturn attributes when the visible declarations
|
/* Test for builtin noreturn attributes when the visible declarations
|
are function-local. Modified from builtin-noret-1.c by Zack Weinberg
|
are function-local. Modified from builtin-noret-1.c by Zack Weinberg
|
<zack@codesourcery.com>. */
|
<zack@codesourcery.com>. */
|
/* { dg-options "-multiply_defined suppress" { target powerpc-*-darwin* } } */
|
/* { dg-options "-multiply_defined suppress" { target powerpc-*-darwin* } } */
|
/* { dg-do link } */
|
/* { dg-do link } */
|
/* { dg-require-weak "" } */
|
/* { dg-require-weak "" } */
|
|
|
extern void tabort (void);
|
extern void tabort (void);
|
extern void texit (void);
|
extern void texit (void);
|
extern void t_exit (void);
|
extern void t_exit (void);
|
extern void t_Exit (void);
|
extern void t_Exit (void);
|
|
|
extern void link_failure (void);
|
extern void link_failure (void);
|
|
|
int
|
int
|
main (void)
|
main (void)
|
{
|
{
|
volatile int i = 0;
|
volatile int i = 0;
|
extern void exit (int);
|
extern void exit (int);
|
if (i)
|
if (i)
|
tabort ();
|
tabort ();
|
if (i)
|
if (i)
|
texit ();
|
texit ();
|
if (i)
|
if (i)
|
t_exit ();
|
t_exit ();
|
if (i)
|
if (i)
|
t_Exit ();
|
t_Exit ();
|
exit (0);
|
exit (0);
|
}
|
}
|
|
|
void
|
void
|
tabort (void)
|
tabort (void)
|
{
|
{
|
extern void abort (void);
|
extern void abort (void);
|
abort ();
|
abort ();
|
link_failure ();
|
link_failure ();
|
}
|
}
|
|
|
void
|
void
|
texit (void)
|
texit (void)
|
{
|
{
|
extern void exit (int);
|
extern void exit (int);
|
exit (1);
|
exit (1);
|
link_failure ();
|
link_failure ();
|
}
|
}
|
|
|
void
|
void
|
t_exit (void)
|
t_exit (void)
|
{
|
{
|
extern void _exit (int);
|
extern void _exit (int);
|
/* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
|
/* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
|
so make it weak. */
|
so make it weak. */
|
#pragma weak _exit
|
#pragma weak _exit
|
_exit (1);
|
_exit (1);
|
link_failure ();
|
link_failure ();
|
}
|
}
|
|
|
/* Some non-Unix libcs might not have _exit. */
|
/* Some non-Unix libcs might not have _exit. */
|
/* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
|
/* Some non-Unix libcs have _exit, and won't allow it to be re-defined,
|
so make it weak. */
|
so make it weak. */
|
#pragma weak _exit
|
#pragma weak _exit
|
void
|
void
|
_exit (int i)
|
_exit (int i)
|
{
|
{
|
extern void abort (void);
|
extern void abort (void);
|
abort ();
|
abort ();
|
}
|
}
|
|
|
void
|
void
|
t_Exit (void)
|
t_Exit (void)
|
{
|
{
|
extern void _Exit (int);
|
extern void _Exit (int);
|
/* Some libcs have _Exit, and won't allow it to be re-defined,
|
/* Some libcs have _Exit, and won't allow it to be re-defined,
|
so make it weak. */
|
so make it weak. */
|
#pragma weak _Exit
|
#pragma weak _Exit
|
_Exit (1);
|
_Exit (1);
|
link_failure ();
|
link_failure ();
|
}
|
}
|
|
|
/* Some libcs might not have _Exit. */
|
/* Some libcs might not have _Exit. */
|
/* Some libcs have _Exit, and won't allow it to be re-defined,
|
/* Some libcs have _Exit, and won't allow it to be re-defined,
|
so make it weak. */
|
so make it weak. */
|
#pragma weak _Exit
|
#pragma weak _Exit
|
void
|
void
|
_Exit (int i)
|
_Exit (int i)
|
{
|
{
|
extern void abort (void);
|
extern void abort (void);
|
abort ();
|
abort ();
|
}
|
}
|
|
|