From fe201609588e015c564046e5b7e52697bd9a36f3 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Tue, 5 Jan 2016 11:04:04 +0100
Subject: [PATCH] Fix the precision field in the addr2line call

It must be a int type in x64.
---
 cmdline/unix.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmdline/unix.c b/cmdline/unix.c
index 409c53a5..9345b571 100644
--- a/cmdline/unix.c
+++ b/cmdline/unix.c
@@ -1146,7 +1146,7 @@ void os_abort(void)
 			while (msg[j] != '(' && msg[j] != ' ' && msg[j] != 0)
 				++j;
 
-			snprintf(addr2line, sizeof(addr2line), "addr2line %p -e %.*s", stack[i], j, msg);
+			snprintf(addr2line, sizeof(addr2line), "addr2line %p -e %.*s", stack[i], (unsigned)j, msg);
 			system(addr2line);
 		}
 	}