1                 : /*
       2                 :  * Copyright 2011 The Native Client Authors. All rights reserved.
       3                 :  * Use of this source code is governed by a BSD-style license that can
       4                 :  * be found in the LICENSE file.
       5                 :  */
       6                 : 
       7                 : #include <stdlib.h>
       8                 : #include <stdio.h>
       9                 : #include <signal.h>
      10                 : #include <unistd.h>
      11                 : 
      12                 : #include "native_client/src/shared/platform/nacl_exit.h"
      13                 : 
      14                 : void NaClAbort(void) {
      15                 : #ifdef COVERAGE
      16                 :   /* Give coverage runs a chance to flush coverage data */
      17               0 :   exit(-SIGABRT);
      18                 : #else
      19                 :   abort();
      20                 : #endif
      21               0 : }
      22                 : 
      23               0 : void NaClExit(int err_code) {
      24                 : #ifdef COVERAGE
      25                 :   /* Give coverage runs a chance to flush coverage data */
      26               0 :   exit(err_code);
      27                 : #else
      28                 :   /*
      29                 :    * Use _exit to exit immediately/
      30                 :    */
      31                 :   _exit(err_code);
      32                 : #endif
      33               0 : }
      34                 :