X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=9a69a4b310141cd8fafd8fde5a2b45691b9c9b02;hb=84b27b559dac866588ee23920b930d5c58684815;hp=01811ca862621f616f670ea2a35df7889e746302;hpb=8e503713cefb189d04ee959fec5148b72d822d16;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index 01811ca..9a69a4b 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -104,12 +104,16 @@ static void HandlePF( int sig, siginfo_t *si, void * unused){
 void createSharedLibrary(){
 #if !USE_MPROTECT_SNAPSHOT
 	//step 1. create shared memory.
-	if( sTheRecord ) return;
+	if ( sTheRecord )
+		return;
 	int fd = shm_open( "/ModelChecker-Snapshotter", O_RDWR | O_CREAT, 0777 ); //universal permissions.
-	if( -1 == fd ) FAILURE("shm_open");
-	if( -1 == ftruncate( fd, SHARED_MEMORY_DEFAULT + STACK_SIZE_DEFAULT ) ) FAILURE( "ftruncate" );
+	if ( -1 == fd )
+		FAILURE("shm_open");
+	if ( -1 == ftruncate( fd, SHARED_MEMORY_DEFAULT + STACK_SIZE_DEFAULT ) )
+		FAILURE( "ftruncate" );
 	void * memMapBase = mmap( 0, SHARED_MEMORY_DEFAULT + STACK_SIZE_DEFAULT, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0 );
-	if( MAP_FAILED == memMapBase ) FAILURE("mmap");
+	if( MAP_FAILED == memMapBase )
+		FAILURE("mmap");
 	sTheRecord = ( struct Snapshot * )memMapBase;
 	sTheRecord->mSharedMemoryBase = (void *)((uintptr_t)memMapBase + sizeof(struct Snapshot));
 	sTheRecord->mStackBase = (void *)((uintptr_t)memMapBase + SHARED_MEMORY_DEFAULT);