projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
snapshot: zero out entire siginfo_t
[model-checker.git]
/
snapshot.cc
diff --git
a/snapshot.cc
b/snapshot.cc
index 2440b6e8bda8a06afa040475266e69d02094981e..ac4f712350aac33ab8f981b869d68a9500b4a76d 100644
(file)
--- 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;
// 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_addr=ss.ss_sp;
- si.si_code = 0;
HandlePF(SIGSEGV, &si, NULL);
snapshotrecord->lastBackingPage--; //remove the fake page we copied
HandlePF(SIGSEGV, &si, NULL);
snapshotrecord->lastBackingPage--; //remove the fake page we copied