module CilE:sig
..end
typealarm_behavior =
unit -> unit
val a_ignore : alarm_behavior
type
warn_mode = {
|
defined_logic : |
(* |
operations that raise an error only in the C, not in the logic
| *) |
|
unspecified : |
(* |
defined but unspecified behaviors
| *) |
|
others : |
(* |
all the remaining undefined behaviors
| *) |
warn_mode
can be supplied to some of the access
functions in Db.Value
(the interface to the value analysis).
Each field of CilE.warn_mode
indicates the action to perform
for each category of alarm. These fields are not completely fixed
yet. However, you can use the value CilE.warn_none_mode
below
when you have to provide an argument of type warn_mode
.val warn_none_mode : warn_mode