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

CHAPTER 9. TYPE QUALIFIER INFERENCE 78
let tut9 (f : file) : unit =
let g = fileBuildGraph f in
let q = enqueueNodes g in
findColoredNodes f g;
processQueue g q;
addInferredColors f g;
eraseNodeMarks f
9.2 test/tut9.c
This test demonstrates type qualifer inference. In particular, the types of the parameters r and g
of function foo will be inferred.
../test/tut9.c
# include
struct bar {
int red * red r;
int green g;
int red green blue c;
};
void foo(int blue c, int r, int g)
{
return;
}
int main()
{
struct bar B;
int red r = 50;
B.r = &r;
B.g = 50;
B.c = AddColor(blue, 50);
foo(B.c, *B.r, B.g);
foo(B.g, r, r);
}
return 0;
When we build this test by doing: