X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=e5df30abe2ec39697a04cdc66241bda8b1c07d05;hb=3e6361c4aaa3febdfa72f9031506babfcdc3b872;hp=1b5b4cb6c5c285079e37bf5bdf9627cbf9a6da57;hpb=5566833b04fb088b315dcde5148e05a9ea80c2df;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 1b5b4cb..e5df30a 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -106,10 +106,10 @@ mprot_snapshotter::~mprot_snapshotter()
 static void mprot_handle_pf(int sig, siginfo_t *si, void *unused)
 {
 	if (si->si_code == SEGV_MAPERR) {
-		model_print("Real Fault at %p\n", si->si_addr);
-		print_trace();
+		model_print("Segmentation fault at %p\n", si->si_addr);
 		model_print("For debugging, place breakpoint at: %s:%d\n",
 				__FILE__, __LINE__);
+		// print_trace(); // Trace printing may cause dynamic memory allocation
 		exit(EXIT_FAILURE);
 	}
 	void* addr = ReturnPageAlignedAddress(si->si_addr);