Module Exn_flow

module Exn_flow: sig .. end

Manages information related to possible exceptions thrown by each function in the AST.


val get_kf_exn : Kernel_function.t -> Cil_datatype.Typ.Set.t

returns the set of exceptions that a given kernel function might throw.

val compute : unit -> unit

computes the information if not already done.

val remove_exn : Cil_types.file -> unit

transforms functions that may throw into functions returning a union type composed of the normal return or one of the exceptions.

val transform_category : File.code_transformation_category

category of the code transformation above.