Hi,
We are updating an old project to 1.3.7 but have run into an issue.
We are having issues with 64 bit unsigned constants that have the most
significant bit set. The simplest program to show the issue is:
unsigned long long var1 = 0xFF00000000000000ULL;
running that through cilly.asm.exe V1.3.7 gives:
"""
u64_2.c.new:1: Unimplemented: Cannot represent integer
0x8000000000000000ULL in 64 bits (signed)
u64_2.c.new:1: Error: global initializer
error in createGlobal(var1: u64_2.c.new:1): Errormsg.ErrorError:
Cabs2cil had some errors
Fatal error: exception Errormsg.Error
"""
the above program works fine with our old cil 1.2.5 based cilly.asm.exe.
Host: Ubuntu 10.04 32 bit
cil: 1.3.7 from sourceforge tar.gz archive
ocaml: from Ubuntu 10.04 packages
sudo apt-get install ocaml ocaml-native-compilers
quicktest does run OK and cilly does process some non-trivial programs
after I alter the UUL constants.
Any help on this would be greatly appreciated.
(I did search the list archives and bug db and did see some other
mentions of related issues but did not see any resolutions.)
Thanks,
Bill
------------------------------------------------------------------------------
This SF.net email is sponsored by
Make an app they can't live without
Enter the BlackBerry Developer Challenge
http://p.sf.net/sfu/RIM-dev2dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
