Project

General

Profile

Revision f3d244c1 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
491 491
    end
492 492

  
493 493
let pp_const_initialize pp_var fmt const =
494
  let m = Machine_code.empty_machine in
495 494
  let var = mk_val (LocalVar (Corelang.var_decl_of_const const)) const.const_type in
496 495
  let rec aux indices value fmt typ =
497 496
    if Types.is_array_type typ
......
508 507
      let indices = List.rev indices in
509 508
      let pp_var_suffix fmt var =
510 509
	fprintf fmt "%a%a" (pp_c_val "" pp_var) var pp_array_suffix indices in
511
      let pp_value fmt value = pp_c_val "" pp_var fmt value in
512 510
      begin
513 511
	Mpfr.pp_inject_init pp_var_suffix fmt var;
514 512
	fprintf fmt "@,";

Also available in: Unified diff