From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 00:14:30 +0000 (-0700)
Subject: snapshot: use %p for printing pointers
X-Git-Tag: pldi2013~392^2~40
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0379b580594f96b81ca34ea9a821df3fc17f6ea0;p=model-checker.git

snapshot: use %p for printing pointers
---

diff --git a/snapshot.cc b/snapshot.cc
index 0362994..3666667 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -76,13 +76,13 @@ void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots,
 void HandlePF( int sig, siginfo_t *si, void * unused){
 #if USE_CHECKPOINTING
 	if( si->si_code == SEGV_MAPERR ){
-		printf("Real Fault at %llx\n", ( long long )si->si_addr);
+		printf("Real Fault at %p\n", si->si_addr);
 		exit( EXIT_FAILURE );
 	}
 	void* addr = ReturnPageAlignedAddress(si->si_addr);
 	unsigned int backingpage=snapshotrecord->lastBackingPage++; //Could run out of pages...
 	if (backingpage==snapshotrecord->maxBackingPages) {
-		printf("Out of backing pages at %llx\n", ( long long )si->si_addr);
+		printf("Out of backing pages at %p\n", si->si_addr);
 		exit( EXIT_FAILURE );
 	}