From eb18342c33b6531801245e2f10067ec0c8fbd821 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Fri, 9 Sep 2011 16:00:21 +0200 Subject: [PATCH] Do not forget to also traverse local linear vars --- compiler/obc/transformations/memalloc_apply.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/obc/transformations/memalloc_apply.ml b/compiler/obc/transformations/memalloc_apply.ml index a194742..5243a6d 100644 --- a/compiler/obc/transformations/memalloc_apply.ml +++ b/compiler/obc/transformations/memalloc_apply.ml @@ -156,6 +156,7 @@ let add_other_vars md cd = in let envs = List.fold_left add_one (LinListEnv.empty, LocationEnv.empty) md.m_inputs in let envs = List.fold_left add_one envs md.m_outputs in + let envs = List.fold_left add_one envs md.m_body.b_locals in let env, ty_env = List.fold_left add_one envs cd.cd_mems in LinListEnv.fold (fun r x acc -> (LocationEnv.find r ty_env, x)::acc) env []