module Widen:sig
..end
Per-function computation of widening hints.
val getWidenHints : Cil_types.kernel_function ->
Cil_types.stmt ->
Base.Set.t * (Base.t -> Locations.Location_Bytes.numerical_widen_hint)
getWidenHints kf s
retrieves the set of widening hints related to
function kf
and statement s
.
val precompute_widen_hints : unit -> unit
Parses all widening hints defined via the widen_hint syntax extension. The result is memoized for subsequent calls.