Project

General

Profile

Revision 45f0f48d src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
182 182
  | Cst c         -> pp_c_const fmt c
183 183
  | Array vl      -> fprintf fmt "{%a}" (Utils.fprintf_list ~sep:", " (pp_c_val self pp_var)) vl
184 184
  | Access (t, i) -> fprintf fmt "%a[%a]" (pp_c_val self pp_var) t (pp_c_val self pp_var) i
185
  | Power (v, n)  -> assert false
185
  | Power (v, n)  -> (Format.eprintf "internal error: C_backend_common.pp_c_val %a@." pp_val v; assert false)
186 186
  | LocalVar v    -> pp_var fmt v
187 187
  | StateVar v    ->
188 188
    (* array memory vars are represented by an indirection to a local var with the right type,

Also available in: Unified diff