diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
commit | 93d89c2b5e8497365be152fb53cb6cd4c5764d34 (patch) | |
tree | 0de8d05bbd0eeaeb5e4b85395f8dd576984b6a9e /cil/doc/cil011.html | |
parent | 891377ce1962cdb31357d6580d6546ec22df2b4f (diff) | |
download | compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.tar.gz compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.zip |
Getting rid of CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cil/doc/cil011.html')
-rw-r--r-- | cil/doc/cil011.html | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/cil/doc/cil011.html b/cil/doc/cil011.html deleted file mode 100644 index 975c8dd8..00000000 --- a/cil/doc/cil011.html +++ /dev/null @@ -1,53 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" - "http://www.w3.org/TR/REC-html40/loose.dtd"> -<HTML> -<HEAD> - - - -<META http-equiv="Content-Type" content="text/html; charset=ANSI_X3.4-1968"> -<META name="GENERATOR" content="hevea 1.08"> - -<base target="main"> -<script language="JavaScript"> -<!-- Begin -function loadTop(url) { - parent.location.href= url; -} -// --> -</script> -<LINK rel="stylesheet" type="text/css" href="cil.css"> -<TITLE> -CIL Limitations -</TITLE> -</HEAD> -<BODY > -<A HREF="cil010.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A> -<A HREF="ciltoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A> -<A HREF="cil012.html"><IMG SRC ="next_motif.gif" ALT="Next"></A> -<HR> - -<H2 CLASS="section"><A NAME="htoc37">11</A> CIL Limitations</H2> -There are several implementation details of CIL that might make it unusable - or less than ideal for certain tasks: -<UL CLASS="itemize"><LI CLASS="li-itemize"> -CIL operates after preprocessing. If you need to see comments, for -example, you cannot use CIL. But you can use attributes and pragmas instead. -And there is some support to help you patch the include files before they are -seen by the preprocessor. For example, this is how we turn some -<TT>#define</TT>s that we don't like into function calls. <BR> -<BR> -<LI CLASS="li-itemize">CIL does transform the code in a non-trivial way. This is done in order -to make most analyses easier. But if you want to see the code <TT>e1, e2++</TT> -exactly as it appears in the code, then you should not use CIL. <BR> -<BR> -<LI CLASS="li-itemize">CIL removes all local scopes and moves all variables to function -scope. It also separates a declaration with an initializer into a declaration -plus an assignment. The unfortunate effect of this transformation is that -local variables cannot have the <TT>const</TT> qualifier.</UL> -<HR> -<A HREF="cil010.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A> -<A HREF="ciltoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A> -<A HREF="cil012.html"><IMG SRC ="next_motif.gif" ALT="Next"></A> -</BODY> -</HTML> |