Skip to content
Snippets Groups Projects
Commit fa324317 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[doc] cleanup odoc comments in cfg.mli

parent d5a2a4b3
No related branches found
No related tags found
No related merge requests found
...@@ -42,14 +42,15 @@ ...@@ -42,14 +42,15 @@
(****************************************************************************) (****************************************************************************)
(** Code to compute the control-flow graph of a function or file. (** 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 will fill in the [preds] and [succs] fields of {!Cil_types.stmt}
This is nearly always automatically done by the kernel. You only need This is nearly always automatically done by the kernel. You only need
those functions if you build {!Cil_types.fundec} yourself. *) those functions if you build {!Cil_types.fundec} yourself. *)
open Cil_types open Cil_types
(** Compute the CFG for an entire file, by calling cfgFun on each function. *) (** Compute the CFG for an entire file,
by calling {!cfgFun} on each function. *)
val computeFileCFG: file -> unit val computeFileCFG: file -> unit
(** clear the sid (except when clear_id is explicitly set to false), (** clear the sid (except when clear_id is explicitly set to false),
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment