Maybe it's because we're still on 1.3.6? I didn't see this mentioned in the 1.3.6->1.3.7 change log.
Thanks, Dany Christoph Spiel schreef:
Hi Dany! On Tue, Apr 27, 2010 at 08:42:05AM +0200, Dany Vereertbrugghen wrote:We're currently running into a problem where CIL seems to transform (mainValue < (0xFFFFFFFFFFFFFFFFULL)/1000) to (mainValue < 0ULL)Excuse me, but I cannot reproduce your problem here. My "cil-const.c": int foo (long long unsigned x) { return x < 0xFFFFFFFFFFFFFFFFULL / 1000; } becomes "cil-const.cil.c": /* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 1 "cil-const.c" int foo(unsigned long long x ) { { #line 4 return (x < 18446744073709551ULL); } } when I run cilly.byte --out cil-const.cil.c cil-const.c However, both, my OCaml $ ocamlc -version 3.12.0+dev18 (2010-04-20) and my CIL are the latest revisions of the respective VCS servers. BTW, the folded constant is correct. HTH, Chris
------------------------------------------------------------------------------
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
