Revision 45f0f48d
Added by Xavier Thirioux almost 6 years ago
| 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
...