From: Andres Noetzli <noetzli@stanford.edu>
Date: Tue, 20 Jun 2017 19:50:40 +0000 (-0700)
Subject: Fix SIGILL handler
X-Git-Tag: cvc5-1.0.0~5763
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f83b2e19de558b5041479b6024aba62ec8e3403d;p=cvc5.git

Fix SIGILL handler

As pointed out by @cpitclaudel in pull request #172, we are using the same
handler for SIGSEGV and SIGILL and ill_handler() is unused. This commit changes
the SIGILL handler to ill_handler().
---

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 72f431b0d..ab71a3f7c 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -307,7 +307,7 @@ void cvc4_init() throw(Exception) {
   }
 
   struct sigaction act4;
-  act4.sa_sigaction = segv_handler;
+  act4.sa_sigaction = ill_handler;
   act4.sa_flags = SA_SIGINFO;
   sigemptyset(&act4.sa_mask);
   if(sigaction(SIGILL, &act4, NULL)) {