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

CHAPTER 2. VISITING THE AST 18
Coding Hint: The inx function |> has type (α → (α →
β) → β). The code in tut2 is another way of writing
iterGlobals f (onlyFunctions (processFunction funvar)) but without
all the extra parenthesis. |> is included in the F# standard library,
but since it isn't in OCaml's we dene it in Tututil. You can read it as
expression on the left is passed to function on right, and we can chain them
up like I have in tut2 without writing lots of extra parenthesis.
let tut2 (funvar : string × string) (f : file) : unit =
funvar | > processFunction | > onlyFunctions | > iterGlobals f
2.2 test/tut2.c
In main.ml tut2 in tut2.ml is called with argument ("foo","bar") meaning that assignments to
global variables called bar should be removed from functions called foo. Thus, when the code below
is compiled with tut2 enabled, the program should print 37 and exit.
# include
int bar = 37;
int foo()
{
int l;
bar = 0;
l = bar;
return l;
}
int main()
{
int r;
r = foo();
printf("r = %d\n", r);
return 0;
}
../test/tut2.c
As with test/tut1.c, we can build this le with the following command: