A CIL Tutorial - Department of Computer Science - ETH Zürich

CHAPTER 13. WHOLE-PROGRAM ANALYSIS 112
extern int foo(int x);
../test/tut13b.c
int bar(int x)
{
return foo(x);
}
int main()
{
bar(1);
return 0;
}
Now we can build this program with the whole program analysis by executing the following
commands:
$ ciltutcc --merge -o tut13a.o -c test/tut13a.c
$ ciltutcc --merge -o tut13b.o -c test/tut13b.c
$ ciltutcc --merge --enable-tut13 --tut13-out tut13.dot -o tut13 tut13a.o tut13b.o
Then, we can generate a graph from the .dot le as follows:
$ dot -Tpdf tut13.dot -o tut13.pdf
to produce the graph in Figure 13.1. Which is the call-graph for the whole program.
When doing whole program analysis, it is also necessary to override ar. For example, the
command:
$ ar r tut13.a tut13a.o
Should be replaced with the command:
$ ciltutcc --merge --mode=AR r tut13.a tut13a.o