2010/11/16 Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>></span><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Fabio,<br>
<br>
I saw that we use ldexpl() twice in the floating_point branch.<br>
However:<br>
<br>
1) that function is not available on several platforms;<br>
2) in both cases we pass an argument of type double<br>
   as the first argument;<br>
3) it seems we use that function in a way that is not<br>
   conditional on the floating-point format(s)<br>
   involved.<br>
<br>
When you have time, can you please look at this issue?<br>
Thanks,<br>
<br>
   Roberto<br>
<br></blockquote><div><br></div><div><meta http-equiv="content-type" content="text/html; charset=utf-8"><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">Sure. I should be able to have a look at this on Thursday.</span></div>
<div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 13px; border-collapse: collapse; ">(Roberto, sorry if you receive a duplicate of this mail: I had forgotten to use "Reply to all")</span></div>
</div>