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

Ignore unknown nodes (instead of crashing)

Browse source
This commit is contained in:
Cédric Pasteur 2011-09-14 15:55:29 +02:00
parent 332ddabba4
commit 339feaa747
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
compiler/heptagon/transformations/inline.ml
View file

@ -57,6 +57,7 @@ let exp funs (env, newvars, newequs) exp = match exp.e_desc with
(exp, (env, newvars, newequs))
| Eapp ({ a_op = (Enode nn | Efun nn); } as op, argl, rso) when to_be_inlined nn ->
begin try
let add_reset eq = match rso with
| None -> eq
| Some x -> mk_equation (Ereset (mk_block [eq], x)) in
@ -98,6 +99,10 @@ let exp funs (env, newvars, newequs) exp = match exp.e_desc with
List.map mk_output_exp ni.n_output, None)) exp.e_ty
~linearity:exp.e_linearity in
(res_e, (env, newvars, newequs))
with
| Not_found -> exp, (env, newvars, newequs)
end
| _ -> Hept_mapfold.exp funs (env, newvars, newequs) exp
let block funs (env, newvars, newequs) blk =