From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Sep 2012 21:47:44 +0000 (-0700)
Subject: snapshot: print stack trace on segfault
X-Git-Tag: pldi2013~200
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=643a5154fb1e90725c6d102d83f47eb311f353bc;p=model-checker.git

snapshot: print stack trace on segfault
---

diff --git a/snapshot.cc b/snapshot.cc
index 95a6593..b7e4ec1 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -17,6 +17,8 @@
 #include <sys/wait.h>
 #include <ucontext.h>
 
+#include "common.h"
+
 #define FAILURE(mesg) { printf("failed in the API: %s with errno relative message: %s\n", mesg, strerror( errno ) ); exit(EXIT_FAILURE); }
 
 #ifdef CONFIG_SSDEBUG
@@ -86,6 +88,7 @@ static void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsna
 static void HandlePF( int sig, siginfo_t *si, void * unused){
 	if( si->si_code == SEGV_MAPERR ){
 		printf("Real Fault at %p\n", si->si_addr);
+		print_trace();
 		exit( EXIT_FAILURE );
 	}
 	void* addr = ReturnPageAlignedAddress(si->si_addr);