Dear Jesse,
On Wed, Jun 08, 2011 at 04:47:23PM -0400, Jesse M Draper wrote:
> Cil handles the constant 0x8000 incorrectly on my 64-bit machine, making
> it a signed int instead of an unsigned int.
This should be fixed in latest git. Could you check that it fixes your problem
please?
Best,
-
On Fri, Sep 02, 2011 at 12:37:34PM +0200, Gabriel Kerneis wrote:
> (I'd rather have the Small and Big branches as close as possible, to make the
> logic more clear.)
Same kind of discrepancy for truncate_unsigned_cilint by the way, I wonder if
it is also incorrect.
--
Gabriel
--
Dear Jesse,
finally some time to look into this bug.
On Wed, Jun 08, 2011 at 04:47:23PM -0400, Jesse M Draper wrote:
> Cil handles the constant 0x8000 incorrectly on my 64-bit machine, making
> it a signed int instead of an unsigned int.
Agreed.
> The following also seems to work for me and
