Frama-C API - Cil_descriptive_printer
Internal printer for Cabs2cil.
Like the standard Cil_printer, but instead of temporary variable names it prints the description that was provided when the temp was created. This is usually better for messages that are printed for end users, although you may want the temporary names for debugging.
val pp_exp : Stdlib.Format.formatter -> Cil_types.exp -> unitval pp_lval : Stdlib.Format.formatter -> Cil_types.lval -> unit