Fix the precision field in the addr2line call

It must be a int type in x64.
This commit is contained in:
Andrea Mazzoleni 2016-01-05 11:04:04 +01:00
parent 51f064dbbd
commit fe20160958

View file

@ -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);
}
}