Svadev mailing list

[Jean-Baptiste Tristan <jean.baptiste.tristan AT gmail.com>]

Hi,

I have transformed a piece of code using sc, and the resulting code
has a few extra function declarations such as:

declare void @sc.lscheck(i8*, i8*)

Is there any documentation that could help me understand what those
functions do ?
Some of those functions have a name that is close to the name of some
of the statements
or expressions used in the type system described in the paper
"SAFEcode: Enforcing Alias Analysis
for Weakly Typed Languages". Do you use those functions to "encode"
the type system described in
this paper into regular LLVM code ?

-John