0004442: Segfault with weak pointers - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004442

OCaml

OCaml general

public

2007-11-08 19:03

2007-11-20 19:54

Reporter

adamc

Assigned To

doligez

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.10+dev

Target Version

Fixed in Version

3.10+dev

Summary

0004442: Segfault with weak pointers

Description

Starting from a large program with many dependencies that began segfaulting unpredictably shortly after we added use of weak pointers, I have come up with a one-page example that reliably triggers a segmentation fault (or other nasty fault) with 3.10.1+dev0 on both ia32 and amd64 Linux. Making small changes like manual inlining of functions changes whether or not the crash occurs, so I think it is almost certain that memory corruption is occurring.

Tags

No tags attached.

crasher.ml [^] (1,222 bytes) 2007-11-08 19:03

Relationships

Notes
(0004331) doligez (manager) 2007-11-20 12:25	The bug happens when you have a weak array pointing to another weak array. I will fix it shortly.

(0004334) doligez (manager) 2007-11-20 19:54	fixed in 3.09.4+dev4 and 3.10.1+dev2

Issue History
Date Modified	Username	Field	Change
2007-11-08 19:03	adamc	New Issue
2007-11-08 19:03	adamc	File Added: crasher.ml
2007-11-10 13:59	xleroy	Status	new => assigned
2007-11-10 13:59	xleroy	Assigned To	=> doligez
2007-11-20 12:25	doligez	Note Added: 0004331
2007-11-20 19:54	doligez	Note Added: 0004334
2007-11-20 19:54	doligez	Status	assigned => closed
2007-11-20 19:54	doligez	Resolution	open => fixed
2007-11-20 19:54	doligez	Fixed in Version	=> 3.10+dev

Copyright © 2000 - 2011 MantisBT Group