[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / noreturn-8.c

/* { dg-do run { target nonpic } } */
/* { dg-options "-O2" } */
void exit (int);
void noreturn_autodetection_failed ();
__attribute__ ((noinline)) int
detect_noreturn ()
{
  exit (0);
}
int
main (void)
{
  detect_noreturn ();
  noreturn_autodetection_failed ();
  return 0;
}
Commit	Line	Data
173536ed	1	/* { dg-do run { target nonpic } } */
73add7fe JH	2	/* { dg-options "-O2" } */
	3	void exit (int);
	4	void noreturn_autodetection_failed ();
8ece1ab3	5	__attribute__ ((noinline)) int
73add7fe JH	6	detect_noreturn ()
	7	{
	8	exit (0);
	9	}
	10	int
	11	main (void)
	12	{
	13	detect_noreturn ();
	14	noreturn_autodetection_failed ();
	15	return 0;
	16	}