From ac87128e5454f1925d2edc79123b5e47b478f107 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 22 Jun 2010 10:07:25 +0200 Subject: [PATCH] Put a special case for operators Without this, pre x + 1 cannot be written. --- compiler/heptagon/analysis/initialization.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index c07c230..15ccfe2 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -234,6 +234,8 @@ and apply h op e_list = let i2 = itype (typing h e2) in let i3 = itype (typing h e3) in max i1 (max i2 i3) + | Ecall ({ op_kind = Eop }, _), e_list -> + List.fold_left (fun acc e -> itype (typing h e)) izero e_list | (Ecall _ | Earray_op _| Efield_update _) , e_list -> List.iter (fun e -> initialized_exp h e) e_list; izero