Do not forget to also traverse local linear vars

This commit is contained in:
Cédric Pasteur 2011-09-09 16:00:21 +02:00
parent b0bb7ad39f
commit eb18342c33

View file

@ -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 []