diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-06-20 12:50:40 -0700 |
---|---|---|
committer | Andres Nötzli <andres.noetzli@gmail.com> | 2017-06-20 14:28:56 -0700 |
commit | f83b2e19de558b5041479b6024aba62ec8e3403d (patch) | |
tree | a0e9f05892d59d543f51b2f574f24a2af8b7a542 /src | |
parent | 07d4adeb64dc0e00af4f239be0798023781db036 (diff) |
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().
Diffstat (limited to 'src')
-rw-r--r-- | src/main/util.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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)) { |