PIPS
|
#include <stdlib.h>
#include <stdio.h>
#include <signal.h>
#include <unistd.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "misc.h"
#include "pipsdbm.h"
#include "pipsmake.h"
#include "top-level.h"
Go to the source code of this file.
Functions | |
static void | pips_timeout_callback (const int delay, _UNUSED_ const char *function, const char *file, const int lineno) |
void | reset_pips_timeout (void) |
signal.c More... | |
void | set_pips_timeout (unsigned int delay) |
set pips timeout on delay setting to 0 removes the current timeout. More... | |
void | set_pips_timeout_from_env (void) |
set pips timeout using PIPS_TIMEOUT environment variable More... | |
static void | pips_signal_handler (int num) |
void | initialize_signal_catcher (void) |
Variables | |
static bool | pips_timeout_set = false |
void initialize_signal_catcher | ( | void | ) |
Definition at line 126 of file signal.c.
References pips_signal_handler(), and set_pips_timeout_from_env().
Referenced by pips_main(), and tpips_main().
|
static |
Definition at line 94 of file signal.c.
References abort, checkpoint_workspace(), exit, fprintf(), interrupt_pipsmake_asap(), num, and user_log().
Referenced by initialize_signal_catcher().
|
static |
Definition at line 47 of file signal.c.
References pips_log_stop(), TIMEOUT_CODE, and user_error_log.
Referenced by set_pips_timeout(), and set_pips_timeout_from_env().
void reset_pips_timeout | ( | void | ) |
Definition at line 60 of file signal.c.
References pips_timeout_set, and POP_TIMEOUT.
Referenced by set_pips_timeout(), and set_pips_timeout_from_env().
void set_pips_timeout | ( | unsigned int | delay | ) |
set pips timeout on delay setting to 0 removes the current timeout.
delay | elay |
Definition at line 70 of file signal.c.
References pips_timeout_callback(), pips_timeout_set, PUSH_TIMEOUT, reset_pips_timeout(), and set_timeout_callback().
void set_pips_timeout_from_env | ( | void | ) |
set pips timeout using PIPS_TIMEOUT environment variable
Definition at line 84 of file signal.c.
References pips_timeout_callback(), pips_timeout_set, PUSH_TIMEOUT_ENV, reset_pips_timeout(), and set_timeout_callback().
Referenced by initialize_signal_catcher().
Definition at line 58 of file signal.c.
Referenced by reset_pips_timeout(), set_pips_timeout(), and set_pips_timeout_from_env().