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

Initialization Small big bug fix.

Browse source
This commit is contained in:
Léonard Gérard 2010-10-08 10:43:42 +02:00 committed by Léonard Gérard
parent 99cf52a10f
commit afcd53cebb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -88,10 +88,10 @@ struct
| Heptagon.Var -> add_var x (new_var ()) h
| Heptagon.Last None ->
let h = add_var x (new_var ()) h in
add_last x (new_var ()) h
add_last x ione h (* last is not initialized *)
| Heptagon.Last (Some _) ->
let h = add_var x (new_var ()) h in
add_last x izero h
add_last x izero h (* last is initialized *)
end
(** return the representent of a [typ] ( the max ) *)