riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

- libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().

This commit is contained in:
Siesh1oo 2014-03-10 15:02:58 +01:00
parent 0fb044a58f
commit 8a0216bd9f
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
libs/ezsat/ezminisat.cc
View File

@ -25,7 +25,7 @@
#include <limits.h> #include <limits.h>
#include <stdint.h> #include <stdint.h>
#include <signal.h> #include <csignal>
#include <cinttypes> #include <cinttypes>
#include <minisat/core/Solver.h> #include <minisat/core/Solver.h>
@ -170,14 +170,18 @@ contradiction:
#endif #endif
} }
sighandler_t old_alarm_sighandler = NULL; struct sigaction sig_action;
struct sigaction old_sig_action;
int old_alarm_timeout = 0; int old_alarm_timeout = 0;
if (solverTimeout > 0) { if (solverTimeout > 0) {
sig_action.sa_handler = alarmHandler;
sig_action.sa_mask = 0;
sig_action.sa_flags = 0;
alarmHandlerThis = this; alarmHandlerThis = this;
alarmHandlerTimeout = clock() + solverTimeout*CLOCKS_PER_SEC; alarmHandlerTimeout = clock() + solverTimeout*CLOCKS_PER_SEC;
old_alarm_timeout = alarm(0); old_alarm_timeout = alarm(0);
old_alarm_sighandler = signal(SIGALRM, alarmHandler); sigaction(SIGALRM, &sig_action, &old_sig_action);
alarm(1); alarm(1);
} }
@ -187,7 +191,7 @@ contradiction:
if (alarmHandlerTimeout == 0) if (alarmHandlerTimeout == 0)
solverTimoutStatus = true; solverTimoutStatus = true;
alarm(0); alarm(0);
signal(SIGALRM, old_alarm_sighandler); sigaction(SIGALRM, &old_sig_action, NULL);
alarm(old_alarm_timeout); alarm(old_alarm_timeout);
} }