Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007842OCamlmiddle end (typedtree to clambda)public2018-08-28 18:292018-09-10 16:43
Assigned Tochambart 
PlatformLinuxOSUbuntuOS Version18.04
Product Version4.07.0 
Target VersionFixed in Version 
Summary0007842: Excessive stack usage in FLambda middle end.
DescriptionDear OCaml devs, Jason Gross has reported a case where flambda-enabled ocamlopt stacks overflow whereas the normal version compiles fine.

Increasing the stack limit solves the issue, so I am unsure if you would even consider this a bug, but reporting anyways.

Original Coq issue: [^]
Steps To ReproduceDownload the file: [^]

Then compile with 4.07.0+flambda. The stack trace is:

> Fatal error: exception Stack overflow
> Raised by primitive operation at file "middle_end/", line 739, characters 25-38
> Called from file "middle_end/", line 739, characters 25-38
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
chambart (developer)
2018-09-10 15:52

The particular part of flambda that is failing is not tail recursive due to an optimization to limit allocations. It is possible to mitigate this without allocating too much, but this would be quite tedious. Would you consider that critical enough to dedicate more time to it ?
ejgallego (reporter)
2018-09-10 16:43
edited on: 2018-09-10 16:44

I would dare to say that this is very low priority. Thanks for looking into it.

- Issue History
Date Modified Username Field Change
2018-08-28 18:29 ejgallego New Issue
2018-09-01 01:34 chambart Assigned To => chambart
2018-09-01 01:34 chambart Status new => assigned
2018-09-10 15:52 chambart Note Added: 0019349
2018-09-10 16:43 ejgallego Note Added: 0019351
2018-09-10 16:44 ejgallego Note Edited: 0019351 View Revisions

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker