From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Jun 2012 19:54:52 +0000 (-0700)
Subject: snapshot: zero out entire siginfo_t
X-Git-Tag: pldi2013~391^2~49
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=99fa967b684157d23b0316d419731aa8af26b86e;p=model-checker.git

snapshot: zero out entire siginfo_t

We should initialize this variable to all zeros, just to be safe.
---

diff --git a/snapshot.cc b/snapshot.cc
index 2440b6e..ac4f712 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -155,8 +155,8 @@ void initSnapShotLibrary(unsigned int numbackingpages,
 	// Solution is to call our signal handler before we start protecting stuff...
 
 	siginfo_t si;
+	memset(&si, 0, sizeof(si));
 	si.si_addr=ss.ss_sp;
-	si.si_code = 0;
 	HandlePF(SIGSEGV, &si, NULL);
 	snapshotrecord->lastBackingPage--; //remove the fake page we copied