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

Fix for Initialization

Browse source 
Make eg 0 -> (pre x + 1) legal. This is a temporary 
fix until safe/unsafe functions are correctly handled.
This commit is contained in:
Cédric Pasteur 2010-07-12 10:16:16 +02:00
parent c5184b5d66
commit 89249e8252
1 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
compiler/heptagon/analysis/initialization.ml
View file

@ -135,13 +135,7 @@ and occur_check index i =
module Printer = struct
open Format
let rec print_list_r print po sep pf ff = function
| [] -> ()
| x :: l ->
fprintf ff "@[%s%a" po print x;
List.iter (fprintf ff "%s@]@ @[%a" sep print) l;
fprintf ff "%s@]" pf
open Pp_tools
let rec fprint_init ff i = match i.i_desc with
| Izero -> fprintf ff "0"
@ -235,7 +229,11 @@ 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)
(** TODO: init of safe/unsafe nodes *)
| Etuple, _ -> assert false
(** TODO: init of safe/unsafe nodes
This is a tmp fix so that pre x + 1 works.*)
| Efun (Modname { qual = "Pervasives" }), e_list ->
List.fold_left (fun acc e -> itype (typing h e)) izero e_list
| _ , e_list ->
List.iter (fun e -> initialized_exp h e) e_list; izero