Module Widen

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.