|
@@ -9942,8 +9942,12 @@ struct
|
|
|
let rec replace_args e = match e.eexpr with
|
|
|
| TLocal(v) -> (try
|
|
|
let v2,o = List.assq v arg_assoc in
|
|
|
+ let o = match o with
|
|
|
+ | None -> raise Not_found
|
|
|
+ | Some o -> o
|
|
|
+ in
|
|
|
let e = { e with eexpr = TLocal v2; etype = basic.tnull e.etype } in
|
|
|
- let const = mk_cast e.etype { e with eexpr = TConst(Option.get o); etype = v.v_type } in
|
|
|
+ let const = mk_cast e.etype { e with eexpr = TConst(o); etype = v.v_type } in
|
|
|
found := true;
|
|
|
{ e with eexpr = TIf({
|
|
|
eexpr = TBinop(Ast.OpEq, e, null e.etype e.epos);
|