From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Cfg.html | 69 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) create mode 100644 cil/doc/api/Cfg.html (limited to 'cil/doc/api/Cfg.html') diff --git a/cil/doc/api/Cfg.html b/cil/doc/api/Cfg.html new file mode 100644 index 00000000..142de8ae --- /dev/null +++ b/cil/doc/api/Cfg.html @@ -0,0 +1,69 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +CIL API Documentation (version 1.3.5) : Cfg + + +
Previous + Up + Next +
+

Module Cfg

+
+
module Cfg: sig .. end
Code to compute the control-flow graph of a function or file. + This will fill in the preds and succs fields of Cil.stmt +

+ + This is required for several other extensions, such as Dataflow.
+

+
val computeFileCFG : Cil.file -> unit
+Compute the CFG for an entire file, by calling cfgFun on each function.
+
+
val clearFileCFG : Cil.file -> unit
+clear the sid, succs, and preds fields of each statement.
+
+
val cfgFun : Cil.fundec -> int
+Compute a control flow graph for fd. Stmts in fd have preds and succs + filled in
+
+
val clearCFGinfo : Cil.fundec -> unit
+clear the sid, succs, and preds fields of each statment in a function
+
+
val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit
+print control flow graph (in dot form) for fundec to channel
+
+
val printCfgFilename : string -> Cil.fundec -> unit
+Print control flow graph (in dot form) for fundec to file
+
+
val start_id : int Pervasives.ref
+Next statement id that will be assigned.
+
+
val nodeList : Cil.stmt list Pervasives.ref
+All of the nodes in a file.
+
+
val numNodes : int Pervasives.ref
+number of nodes in the CFG
+
+ \ No newline at end of file -- cgit