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
