Re: [CIL users] CIL and globals

2009-09-08 Thread Gabriel Kerneis
Hello, On Tue, Sep 08, 2009 at 04:32:23PM -0400, Jiří Šimša wrote: > let varsUsesMap (vars:varinfo list) (ic:varinfo list) (oc:varinfo list) = > let _ = List.iter ( > fun vi -> > Printf.printf "%s %d\n" vi.vname vi.vid > ) vars in Here you print out vars. > let _ = List.iter ( >

[CIL users] CIL and globals

2009-09-08 Thread Jiří Šimša
Hello, I am a Ph.D. student at CMU and use CIL as my front end for C to HW compilation. In the course of developing my back-end I have encountered something unexpected that I do not understand. At one point in the program I collect global variables, merge the with locals of a given function f and