abort.c

Go to the documentation of this file.

 
#include <stdint.h>
#include <stdlib.h>
 
#include <sys/cdefs.h>
#include <syscall.h>
 
NO_RETURN void
abort()
{
    OSExit(-1);
 
    UNREACHABLE();
}