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

CHAPTER 7. TYPE QUALIFIERS 56
class colorEraserVisitor = object(self)
inherit nopCilVisitor
method vattr (a : attribute) =
match a with
| Attr(s, ) when L.mem s color strings → ChangeTo [ ]
| → DoChildren
end
The function eraseColors invokes the visitor colorEraserVisitor on a le.
let eraseColors (f : file) : unit =
let vis = new colorEraserVisitor in
visitCilFile vis f
The tut7 function is the entry point for this module. It checks the color types in all functions.
let tut7 (f : file) : unit =
iterGlobals f (onlyFunctions checkColorTypes);
eraseColors f
7.2 test/tut7.c
In this test, we declare a global blue integer b, and a local green integer g. We initialize g using
the AddColor macro, which is dened in ciltut.h. It simply casts the constant in the second
argument to the given color. Then, we attempt to assign g to b, which should elicit a warning from
the compiler.
# include
int blue b;
int main()
{
int green g = AddColor(green, 5);
b = g;
return 0;
}
../test/tut7.c
Now, when we attempt to compile this test, we get a warning: