Re: [CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Jonathan Kotker
Thanks! On 15 February 2011 23:47, Gabriel Kerneis wrote: > On Tue, Feb 15, 2011 at 09:27:51PM -0800, Jonathan Kotker wrote: > > Thanks for the information! :) I guess I didn't understand the C > > compilation toolflow well enough: just to clarify then, just because you > > mention to include

Re: [CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Gabriel Kerneis
On Tue, Feb 15, 2011 at 09:27:51PM -0800, Jonathan Kotker wrote: > Thanks for the information! :) I guess I didn't understand the C > compilation toolflow well enough: just to clarify then, just because you > mention to include a file called "x.h", GCC and CIL will not look for a file > called "x

Re: [CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Jonathan Kotker
Hi Zakkak. Thanks for the information! :) I guess I didn't understand the C compilation toolflow well enough: just to clarify then, just because you mention to include a file called "x.h", GCC and CIL will not look for a file called "x.c"? Best, Jon. On 15 February 2011 17:28, Zakkak Foivos w

Re: [CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Zakkak Foivos
Hi, As far as i know, you will have to use --merge and give foo.c to cilly along with the file to analyze. There is no way cilly can find the file containing the function definition of foo, as it can be defined in any file or even implemented in a library. Zakkak Foivos On 02/16/2011 01:48 AM

[CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Jonathan Kotker
Hello. I was wondering how to get CIL to include functions from user-defined header files. For instance, I have the header file "foo.h", which contains int bar(void); There is another file "foo.c" that contains the definition of the "bar" function. Now, let us say that the file we are going to