module Lexical_successors:sig
..end
Example : (1) x = 3; (2) if (c) (3) y = 3; (4) goto L; else (5) z = 8; (6) while (c--) (7) x++; (8) L : return x;
(1) -> (2) -> (6) -> (8)
(3) -> (4) -> (6)
(5) -> (6)
(7) -> (6)
typet =
Cil_types.stmt Cil_datatype.Stmt.Hashtbl.t
val compute : Kernel_function.t -> Cil_datatype.Stmt.t Cil_datatype.Stmt.Hashtbl.t
val find : 'a Cil_datatype.Stmt.Hashtbl.t -> Cil_datatype.Stmt.Hashtbl.key -> 'a
Not_found
if 'stmt' has no successor in 'graph' ie when it is return
.