Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006424OCamlOCaml typingpublic2014-05-16 00:372014-06-03 14:25
Reporterwhitequark 
Assigned Tofrisch 
PrioritynormalSeveritycrashReproducibilityhave not tried
StatusresolvedResolutionfixed 
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: https://gist.github.com/whitequark/558574ce2f5be4550215 [^]

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://github.com/whitequark/ocaml-ppx_protobuf [^]
cd ocaml-ppx_protobuf
git checkout ocaml-miscompile
./configure --enable-tests
make test
TagsNo tags attached.
Attached Files

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

-  Notes
(0011494)
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.
(0011635)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker