Skip to content

Commit

Permalink
Avoid warning of unused variable max_threads in drhook.c
Browse files Browse the repository at this point in the history
  • Loading branch information
wdeconinck committed Jun 11, 2024
1 parent 530097c commit 50a740e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/fiat/drhook/drhook.c
Original file line number Diff line number Diff line change
Expand Up @@ -159,7 +159,7 @@ static char *end_stamp = NULL;
static int numthreads = 0;
static int myproc = 1;
static int nproc = -1;
static int max_threads = 1;
//static int max_threads = 1;

typedef struct drhook_prefix_t {
char s[3840];
Expand Down Expand Up @@ -1607,7 +1607,7 @@ signal_drhook(int sig SIG_EXTRA_ARGS)

/* if (sig != SIGTERM) signal(SIGTERM, SIG_DFL); */ /* Let the default SIGTERM to occur */

max_threads = drhook_oml_get_max_threads();
// max_threads = drhook_oml_get_max_threads();
if (nsigs == 1) {
/*---- First call to signal handler: call alarm(drhook_harakiri_timeout), tracebacks, exit ------*/

Expand Down Expand Up @@ -3393,7 +3393,7 @@ c_drhook_init_(const char *progname,
,int progname_len)
{
init_drhook(*num_threads);
max_threads = MAX(1,*num_threads);
//max_threads = MAX(1,*num_threads);
if (a_out) free_drhook(a_out);
progname = trim(progname, &progname_len);
if (progname_len > 0) {
Expand Down

0 comments on commit 50a740e

Please sign in to comment.