jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Fixed output structure allocation in C backend

Browse source
This commit is contained in:
Adrien Guatto 2010-07-07 14:44:18 +02:00
parent c123000eef
commit 0712378133
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/minils/sequential/cgen.ml
View file

@ -530,9 +530,10 @@ let fun_def_of_step_fun name obj_env mem objs sf =
(** Out vars for function calls *)
let out_vars =
List.map (fun obj -> out_var_name_of_objn (shortname obj.cls),
Cty_id ((cname_of_name (shortname obj.cls)) ^ "_out"))
(List.filter (fun obj -> not (is_op obj.cls)) objs) in
unique
(List.map (fun obj -> out_var_name_of_objn (shortname obj.cls),
Cty_id ((cname_of_name (shortname obj.cls)) ^ "_out"))
(List.filter (fun obj -> not (is_op obj.cls)) objs)) in
(** Controllable variables valuations *)
let use_ctrlr, ctrlr_calls =