From eaabadf919a4dca26d75a3098dba6fb985dbe82b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 19 Nov 2017 18:03:49 +0100
Subject: [PATCH 1/1] Fix 32bits builds.

---
 src/mc/mc_global.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 06f1981d42..b14329839c 100644
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -148,7 +148,7 @@ void dumpStack(FILE* file, unw_cursor_t cursor)
     fprintf(file, "  %i: %s (RIP=0x%" PRIx64 " RSP=0x%" PRIx64 ")\n", nframe, realname.get(), (std::uint64_t)rip,
             (std::uint64_t)rsp);
 #else
-    fprintf(file, "  %i: %s\n", nframe, realname ? realname : name);
+    fprintf(file, "  %i: %s\n", nframe, realname.get());
 #endif
 
     ++nframe;
-- 
2.20.1