Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006424OCamltypingpublic2014-05-16 00:372015-12-11 19:27
Assigned Tofrisch 
PrioritynormalSeveritycrashReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version 
Summary0006424: 0-ary function application miscompiles and segfaults ocamlrun
DescriptionWhile playing with ppx, I accidentally produced some 0-ary function applications. They successfully pass -dsource, typechecker, ocamlc bytecode backend and sometimes result in a segmentation fault in ocamlrun, like this: [^]

As I've said, they segfault *sometimes*, which is why writing a minimal testcase proved hard. However, I have a branch of ppx_protobuf whose testsuite reliably crashes.
Steps To Reproducegit clone git:// [^]
cd ocaml-ppx_protobuf
git checkout ocaml-miscompile
./configure --enable-tests
make test
TagsNo tags attached.
Attached Files

- Relationships
related to 0006388closedfrisch Error messages for 1-tuples are confusing 

-  Notes
frisch (developer)
2014-05-16 17:33

Indeed, we should make the compiler much more robust by checking invariants on the Parsetree which are assumed and currently enforced by the parser (but not by -pp / -ppx). This is one more instance of it.
frisch (developer)
2014-06-03 14:25

Fixed by commit 14948 on 4.02.

- Issue History
Date Modified Username Field Change
2014-05-16 00:37 whitequark New Issue
2014-05-16 17:33 frisch Note Added: 0011494
2014-05-16 17:44 doligez Target Version => 4.02.0+dev
2014-05-30 11:02 shinwell Status new => acknowledged
2014-05-30 12:37 shinwell Relationship added related to 0006388
2014-06-03 14:25 frisch Note Added: 0011635
2014-06-03 14:25 frisch Status acknowledged => resolved
2014-06-03 14:25 frisch Resolution open => fixed
2014-06-03 14:25 frisch Assigned To => frisch
2015-12-11 19:27 xleroy Status resolved => closed
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker