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

CHAPTER 8. DEPENDANT TYPE QUALIFIERS 68
let tut8 (f : file) : unit =
tut8 init f;
let c = context for globals f in
c | > checkColorTypes | > onlyFunctions | > iterGlobals f;
eraseColors f
8.2 test/tut8.c
In this test we dene a structure type in which the type of one of the elds depends on the values of
the other elds, and two functions in which the type of one of the formal parameters depends on the
values to be bound to the other formal parameters at each call site. The test demonstrates the type
safe initialization of the elds of the structure (i.e. elds whose type depends on the other elds are
initialized last.) Also, we check that the compiler catches a call with poorly-typed parameters (i.e.
the call to bar).
# include
struct bar {
int r, g, b;
int ExactRGB(r,g,b) c;
};
../test/tut8.c
void foo(int LowerRGB(r,g,b) c, int r, int g, int b) {return;}
void bar(int UpperRGB(r,g,b) c, int r, int g, int b) {return;}
int main()
{
struct bar B;
B.r = 50;
B.g = 50;
B.b = 50;
B.c = AddRGB(50,50,50,50);
foo(B.c, B.r, B.g, B.b);
bar(B.c, 10, 10, 10);
}
return 0;
We compile this example: