From b58b250532e504c65d197c8087c2b0c978d25a86 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Fri, 16 Dec 2022 03:18:21 +0100 Subject: [PATCH] WIP to remove C warnings --- src/ast_to_c.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml index 77017a9..fb4384c 100644 --- a/src/ast_to_c.ml +++ b/src/ast_to_c.ml @@ -209,6 +209,8 @@ let pp_resvars reset_expressions_counter = (* use the fact that any boolean and any integer can be encoded as a float, concerning integers [-2^(23+1) + 1; 2^(23+1) + 1] are correctly encoded (cf https://stackoverflow.com/a/53254438) *) Format.sprintf "float tmp_reset[%i], init[%i];" reset_expressions_counter reset_expressions_counter +let pp_return fmt + (* TODO: manage general outputs *) let pp_node fmt node = (* undefined behavior if the initial code uses a variable with name: @@ -237,7 +239,7 @@ let pp_node fmt node = (pp_asnprevarlist node.n_name) node.n_inputs (pp_asnprevarlist node.n_name) node.n_local_vars (pp_asnprevarlist node.n_name) node.n_outputs - (pp_varlist Base) node.n_outputs + (Format.fprintf fmt "%a" (pp_varlist Base) node.n_outputs) let rec pp_nodes fmt nodes = match nodes with