snapshot: use %p for printing pointers

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 0362994daf50354d6a34991ab07294fed4fc19ce..3666667e1fa2886da1d0684c96bfd873b7f5c40e 100644 (file)
--- 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 );
        }