Module Cilmsg

module Cilmsg: sig .. end
CIL's internal stack of errors. The module name Cilmsg is misleading, but historical.

val had_errors : unit -> bool
val clear_errors : unit -> unit
val push_errors : unit -> unit
val pop_errors : unit -> unit