You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4733 Reporter: bacam Assigned to:@xavierleroy Status: closed (set by @xavierleroy on 2012-09-25T18:10:24Z) Resolution: unable to duplicate Priority: normal Severity: minor Version: 3.11.0 Category: ~DO NOT USE (was: OCaml general) Monitored by:@glondu
Bug description
Recently I discovered that a particularly demanding file in our coq development (due to the way in which we use coq's module system) compiled in under 1.5GB using the native code version build with -g, but exceeded the maximum 32bit process size (~3GB) using the native code version without -g.
I've tracked this down by trail and error to the optimisation of Llet(Alias, v, l1, l2) in bytecomp/simplif.ml when v only appears once. However I'm not sure exactly which part of the coq source triggers the problem, or if it can be easily solved. (Or if it's even reasonable to blame it on ocamlopt!)
The text was updated successfully, but these errors were encountered:
Original bug ID: 4733
Reporter: bacam
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2012-09-25T18:10:24Z)
Resolution: unable to duplicate
Priority: normal
Severity: minor
Version: 3.11.0
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @glondu
Bug description
Recently I discovered that a particularly demanding file in our coq development (due to the way in which we use coq's module system) compiled in under 1.5GB using the native code version build with -g, but exceeded the maximum 32bit process size (~3GB) using the native code version without -g.
I've tracked this down by trail and error to the optimisation of Llet(Alias, v, l1, l2) in bytecomp/simplif.ml when v only appears once. However I'm not sure exactly which part of the coq source triggers the problem, or if it can be easily solved. (Or if it's even reasonable to blame it on ocamlopt!)
The text was updated successfully, but these errors were encountered: