Original bug ID: 785
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour,

bytecomp/matching.ml et bytecomp/switch.ml utilisent une fonction
make_offset définie de la façon suivante :

let make_offset x arg = if x=0 then arg else Lprim(Poffsetint(x), [arg])

où x peut être à peu près n'importe quel entier.

Dans asmcomp/cmmgen.ml, "Lprim(Poffsetint(x), [arg])" est compilé par
"add_const (transl arg) (x lsl 1)" où "x lsl 1" peu déborder si "x"
est trop grand où trop petit.

Ainsi, certains motifs ne sont pas compilés correctement. Par exemple :

let f =
function -1073741824 -> 0 | -1073741823 -> 1 | -1073741822 -> 2 | _ -> 3
let _ =
Format.eprintf "%d@." (f (-1073741823))

-- Jérome