noreturn-1.c

#include <stdio.h>
#include <stdlib.h>

__attribute__ ((noreturn)) void fatal_error (char *msg)
{
  fprintf (stderr, "%s\n", msg);
  exit (1);
}

int main (void)
{
  fatal_error ("error not found");
}