************************************************ ************************************************ ** MARKTOBERDORF GENERIC PROGRAM ANALYZER ** ** P. COUSOT ** ** http://www.di.ens.fr/~cousot ** ** cousot@di.ens.fr ** ************************************************ ************************************************ ************************************************************************* Bug history. ************************************************************************* V1.01, 15 december 1998: ************************************************************************* *** 02/09/2000, file ...:Analyzer:Instanced_Analyzers:Intervals:IT_Lattice_Algebra.ml: ... (*** bug corrected on 02/09/2000 ***) (* let b_unary b_uop r x = *) let b_unary b_uop x r = ... (*** bug corrected on 02/09/2000 ***) (* let b_binary b_bop r x y = *) let b_binary b_bop x y r = ... This bug was found thanks to D. Monniaux reporting the incorrect analysis of the following program: IT.analysis ();; x:=2; y:=?; while (y <> x+x) do if (y > x+x) then y:=y-1 else y:=y+1 fi od;; ************************************************************************* All rights reserved. *************************************************************************