From f83b2e19de558b5041479b6024aba62ec8e3403d Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 20 Jun 2017 12:50:40 -0700 Subject: [PATCH] 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(). --- src/main/util.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) { -- 2.30.2