Sophie: ocaml-cil-doc-1.3.7-5.fc13 i686

ocaml-cil-doc-1.3.7-5.fc13.i686.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>cilpp</TITLE>

<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">

<base target="main">
<script language="JavaScript">
<!-- Begin
function loadTop(url) {
  parent.location.href= url;
}
// -->
</script>
<LINK rel="stylesheet" type="text/css" href="cil.css">
</HEAD>
<BODY >
<!--HEVEA command line is: hevea -exec xxdate.exe ../../cilpp -->
<!--HACHA command line is: hacha -o ciltoc.html cil.html -->
<TABLE CLASS="title"><TR><TD></TD></TR>
</TABLE><UL>
<LI><A HREF="cil001.html">Introduction</A>
</LI><LI><A HREF="cil002.html">Installation</A>
<UL>
<LI><A HREF="cil002.html#toc1">Building CIL on Windows with Microsoft Visual C</A>
</LI></UL>
</LI><LI><A HREF="cil003.html">Distribution Contents</A>
</LI><LI><A HREF="cil004.html">Compiling C to CIL</A>
</LI><LI><A HREF="cilly.html">How to Use CIL</A>
<UL>
<LI><A HREF="cilly.html#toc2">Using <TT>cilly</TT>, the CIL driver</A>
</LI><LI><A HREF="cilly.html#toc3">Using CIL as a library</A>
</LI></UL>
</LI><LI><A HREF="attributes.html">CIL API Documentation</A>
<UL>
<LI><A HREF="attributes.html#toc4">Using the visitor</A>
</LI><LI><A HREF="attributes.html#toc5">Interpreted Constructors and Deconstructors</A>
</LI><LI><A HREF="attributes.html#toc6">Printing and Debugging support</A>
</LI><LI><A HREF="attributes.html#toc7">Attributes</A>
</LI></UL>
</LI><LI><A HREF="cil007.html">The CIL Driver</A>
<UL>
<LI><A HREF="cil007.html#toc8"><TT>cilly</TT> Options</A>
</LI><LI><A HREF="cil007.html#toc9"><TT>cilly.asm</TT> Options</A>
</LI><LI><A HREF="cil007.html#toc10">Internal Options</A>
</LI><LI><A HREF="cil007.html#toc11">Specifying a machine model</A>
</LI></UL>
</LI><LI><A HREF="ext.html">Library of CIL Modules</A>
<UL>
<LI><A HREF="ext.html#toc12">Control-Flow Graphs</A>
</LI><LI><A HREF="ext.html#toc13">Data flow analysis framework</A>
</LI><LI><A HREF="ext.html#toc14">Inliner</A>
</LI><LI><A HREF="ext.html#toc15">Dominators</A>
</LI><LI><A HREF="ext.html#toc16">Points-to Analysis</A>
</LI><LI><A HREF="ext.html#toc17">StackGuard</A>
</LI><LI><A HREF="ext.html#toc18">Heapify</A>
</LI><LI><A HREF="ext.html#toc19">One Return</A>
</LI><LI><A HREF="ext.html#toc20">Partial Evaluation and Constant Folding</A>
</LI><LI><A HREF="ext.html#toc21">Reaching Definitions</A>
</LI><LI><A HREF="ext.html#toc22">Available Expressions</A>
</LI><LI><A HREF="ext.html#toc23">Liveness Analysis</A>
</LI><LI><A HREF="ext.html#toc24">Dead Code Elimination</A>
</LI><LI><A HREF="ext.html#toc25">Simple Memory Operations</A>
</LI><LI><A HREF="ext.html#toc26">Simple Three-Address Code</A>
</LI><LI><A HREF="ext.html#toc27">Converting C to C++</A>
</LI><LI><A HREF="ext.html#toc28">Generating LLVM code (new in 1.3.7)</A>
</LI></UL>
</LI><LI><A HREF="cil009.html">Controlling CIL</A>
</LI><LI><A HREF="cil010.html">GCC Extensions</A>
</LI><LI><A HREF="cil011.html">CIL Limitations</A>
</LI><LI><A HREF="cil012.html">Known Bugs and Limitations</A>
<UL>
<LI><A HREF="cil012.html#toc29">Code that CIL won&#X2019;t compile</A>
</LI><LI><A HREF="cil012.html#toc30">Code that behaves differently under CIL</A>
</LI><LI><A HREF="cil012.html#toc31">Effects of the CIL translation</A>
</LI></UL>
</LI><LI><A HREF="merger.html">Using the merger</A>
</LI><LI><A HREF="patcher.html">Using the patcher</A>
</LI><LI><A HREF="cil015.html">Debugging support</A>
</LI><LI><A HREF="cil016.html">Who Says C is Simple?</A>
<UL>
<LI><A HREF="cil016.html#toc32">Standard C</A>
</LI><LI><A HREF="cil016.html#toc33">GCC ugliness</A>
</LI><LI><A HREF="cil016.html#toc34">Microsoft VC ugliness</A>
</LI></UL>
</LI><LI><A HREF="cil017.html">Authors</A>
</LI><LI><A HREF="cil018.html">License</A>
</LI><LI><A HREF="cil019.html">Bug reports</A>
</LI><LI><A HREF="changes.html">Changes</A>
</LI></UL>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE CLASS="quote"><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
</EM><A HREF="http://hevea.inria.fr/index.html"><EM>H</EM><EM><FONT SIZE=2><sup>E</sup></FONT></EM><EM>V</EM><EM><FONT SIZE=2><sup>E</sup></FONT></EM><EM>A</EM></A><EM>.</EM></BLOCKQUOTE></BODY>
</HTML>