#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
static void func_a (void) __attribute__((noinline));
static void func_b (void) __attribute__((noreturn));
static void func_c (void) __attribute__((noinline));
static void
func_c (void)
{
abort ();
}
static void
func_b (void)
{
func_c ();
while (1)
;
}
static void
func_a (void)
{
func_b ();
}
int
main (int argc, char *argv[])
{
func_a ();
return 0;
}