<div dir="ltr">On 7 February 2013 15:52, David Tweed <span dir="ltr"><<a href="mailto:David.Tweed@arm.com" target="_blank">David.Tweed@arm.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">






<div lang="EN-GB" link="blue" vlink="purple">
<div>
<p class=""><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Aha: the issue wasn't a deep problem with variadic functions (which is a relief because I don't understand those enough to fix), it's the format string using
 %8x with a variable of type uint64_t. I guess on x86_64 (which is the default testing platform for most people these days I guess) you get lucky and the variadic calling convention just happens to give the right result, but on a 32-bit platform like ARM-v7
 you end up reading from a location containing something else entirely.</span></p></div></div></blockquote><div><br></div><div style>Hi David,</div><div style><br></div><div style>Thanks for looking into this. It's a relief that, though it wasn't easy to find, it's not such a complicated bug to fix. :)</div>
<div style><br></div><div style>cheers,</div><div style>--renato</div></div></div></div>