Re: [CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not?

Thanks for your quick confirmation. On Fri, Feb 8, 2013 at 8:37 AM, Gabriel Kerneis wrote: > On Fri, Feb 08, 2013 at 08:15:26AM +0800, haihao shen wrote: > > Here is the piece of code in CIL 1.5.1. Please help verify the issue. > > It seems to be a bug in CIL indeed. I'v

[CIL users] Is_char_unsigned = is_char_signed, a CIL bug or not?

Here is the piece of code in CIL 1.5.1. Please help verify the issue. Thanks. Index: machdepenv.ml === --- machdepenv.ml(revision 9196) +++ machdepenv.ml(working copy) @@ -82,7 +82,7 @@ alignof_aligned = getInt entr

Re: [CIL users] Package `cil' not found

Hi Gabriel, I have found the link in cil mailing archieve. Thanks again! Haihao On Thu, May 19, 2011 at 10:36 PM, haihao shen wrote: > Thanks a lot! > > Since SVN is broken for a long time, could you please share the git clone? > > Haihao > > On Thu, May 19, 2011 at 10:3

Re: [CIL users] Package `cil' not found

Thanks a lot! Since SVN is broken for a long time, could you please share the git clone? Haihao On Thu, May 19, 2011 at 10:34 PM, Gabriel Kerneis wrote: > On Thu, May 19, 2011 at 10:19:09PM +0800, haihao shen wrote: > > I really have no such file although I do "./configure"

Re: [CIL users] Package `cil' not found

Hi Gabriel, I really have no such file although I do "./configure". Is there any other way to generate the META.in? Thanks, Haihao On Thu, May 19, 2011 at 10:12 PM, Gabriel Kerneis wrote: > On Thu, May 19, 2011 at 10:02:24PM +0800, haihao shen wrote: > > When I executed

Re: [CIL users] Package `cil' not found

n Thu, May 19, 2011 at 09:46:49PM +0800, haihao shen wrote: > > Do you mean I need to install findlib pakckage ( > > http://www.camlcity.org/archive/programming/findlib.html)? > > No, I mean run the "install-findlib" target of CIL's Makefile. > > And ye

Re: [CIL users] Package `cil' not found

6PM +0800, haihao shen wrote: > > I installed OCaml 3.11.2 via "./configure && make world && make bootstrap > && > > make opt && make opt.opt && sudo make install", and then installed CIL > via > > "./configure &

[CIL users] Package `cil' not found

Hi All, I installed OCaml 3.11.2 via "./configure && make world && make bootstrap && make opt && make opt.opt && sudo make install", and then installed CIL via "./configure && make && sudo make install". However, when I executed the command "ocamlfind ocamlopt -package cil", the error mesage was

[CIL users] Different CFG for similar test cases

Hi, I found CIL treats the following two functions differently. int a; int b; int get_a() { return a; } int get_b() { return b; } void loop_test1() { while((get_a()<1) && (get_b()<1)) { a++; b++; } } void loop_test2() { while(!(get_a()<1) && !(get_b()<1))

[CIL users] CIL SVN Broken and An CIL Issue

Hi, Seems CIL SVN is broken for a long time. I am wondering who could fix this issue. Another issue is as follows: Unimplemented: Cannot represent integer 0x8000ULL in 64 bits (signed) I searched from web, and someone said the latest SVN has fixed this issue. I downloaded CIL package

Re: [CIL users] CIL-users Digest, Vol 59, Issue 4

Hi, Here is some info (FYI): The Objective Caml toplevel, version 3.11.2 (ocaml is installed via GODI) Thanks, Haihao On Wed, Mar 30, 2011 at 12:58 AM, Gabriel Kerneis wrote: > On Tue, Mar 29, 2011 at 05:09:15AM -0700, haihao shen wrote: > > I have solved the issue by copying the obj

Re: [CIL users] CIL-users Digest, Vol 59, Issue 4

Susie machine (Gabriel Kerneis) > 2. Re: Cannot install CIL on Susie machine (haihao shen) > 3. Re: Cannot install CIL on Susie machine (Jesse Draper) > > > -- > > Message: 1 > Date: Mon, 28 Mar 2011 19:0

Re: [CIL users] Cannot install CIL on Susie machine

could give me an example. Thanks, Haihao On Tue, Mar 29, 2011 at 1:01 AM, Gabriel Kerneis wrote: > On Mon, Mar 28, 2011 at 03:19:48PM +0800, haihao shen wrote: > > make[1]: *** No rule to make target > > `obj/x86_LINUX/libperfcount.a(obj/x86_LINUX/perfcount.opt.o', needed b

[CIL users] Cannot install CIL on Susie machine

Hi, I would like to install CIL on Linux x86_64 Susie machine but failed. The error message is like the following when "make": make cilly NATIVECAML= make[1]: Entering directory `/tmp/workspace/cil' make[1]: Nothing to be done for `cilly'. make[1]: Leaving directory `/tmp/workspace/cil' make cill

Re: [CIL users] issues on modifying code in ext/cfg.ml in CIL

src d_cfgnodename dest); | _ -> dprintf "%a -> %a" d_cfgnodename src d_cfgnodename dest The attachment is my example (you may focus on function named "test"). It still hits the highlighted case. Thanks, Haihao On Wed, Jul 21, 2010 at 3:09 PM, Gabrie

[CIL users] issues on modifying code in ext/cfg.ml in CIL

Hi all, Currently I am doing some work on CIL. I would like to obtain the conditional result (true/false) in the DOT file generated by CIL. Therefore, I modified the code in ext/cfg.ml. let d_cfgedge (src) () (dest) = match src.skind with | If (_, tb, fb, _) -> (if (List.mem dest tb