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 <zakkak@ics.forth.gr> wrote:
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, Jonathan Kotker wrote:
> 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 analyze is:
>
> #include "foo.h"
>
> int garply (int b) {
>      if (b > bar()) { ... }}
>
> and so on.  What I would like to be able to do is to use the
> include-directive to bring in the definition of "bar" into the same
> file, so that I can inline the definition of "bar" in the "garply"
> function.  CIL seems to be able to do it for standard library files like
> "stdio.h", but not for the user-defined "foo.h" above.  I have found a
> workaround that uses the "extrafiles" command-line argument of cilly,
> but I was wondering if there was a simpler way to approach this problem.
>
> Thanks,
> Jon.
>
>
>
> ------------------------------------------------------------------------------
> The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
> Pinpoint memory and threading errors before they happen.
> Find and fix more than 250 security defects in the development cycle.
> Locate bottlenecks in serial and parallel code that limit performance.
> http://p.sf.net/sfu/intel-dev2devfeb
>
>
>
> _______________________________________________
> CIL-users mailing list
> CIL-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/cil-users


------------------------------------------------------------------------------
The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE:
Pinpoint memory and threading errors before they happen.
Find and fix more than 250 security defects in the development cycle.
Locate bottlenecks in serial and parallel code that limit performance.
http://p.sf.net/sfu/intel-dev2devfeb
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users