testsuite/tests/flambda/approx_meet.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

(* TEST
   * flambda
   * native
*)

(* from GPR#1794 *)

let z =
  let x = -0. and y = +0. in
  if mod_float x 1. >= 0. then
    x
  else if false then x else y

let () =
  Printf.printf "%g\n" (1. /. z)