Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Possible bug relating to sweep_slice() #3283

Closed
vicuna opened this issue Apr 2, 2002 · 3 comments
Closed

Possible bug relating to sweep_slice() #3283

vicuna opened this issue Apr 2, 2002 · 3 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Apr 2, 2002

Original bug ID: 1037
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Chris Quinn
Version: 2.99 - 3.04
OS: linux RH6.2
Submission from: 212.42.169.63 (212.42.169.63)

The runtime function sweep_slice() in major_gc.c contains an Assertion at line
256 (v3.04) that if a block is neither white nor blue, then it is black.

With the following function I can cause this not to be the case:

value testbug(value unit)
{
minor_collection(); /* corresponds to Gc.gc_minor() */
failwith("spurious error");
return Val_unit;
}

external testbug: unit -> unit = "testbug"

(* generate some garbage ..... *)
....

let _ = testbug()

Left uncaught the exception causes the assertion to fail.
I don't know whether this is symptomatic of a wider problem; perhaps it is an
anomaly which only manifests itself in this unrealistic test situation!
I'd certainly like to know one way or the other!!

@vicuna
Copy link
Author

vicuna commented Apr 30, 2002

Comment author: administrator

The runtime function sweep_slice() in major_gc.c contains an Assertion at
line
256 (v3.04) that if a block is neither white nor blue, then it is black.

With the following function I can cause this not to be the case:

[...]

Left uncaught the exception causes the assertion to fail.

I can't seem to reproduce this bug. Could you send me a complete program
that exhibits the problem ?

Also, you're not supposed to call minor_collection directly (it is not
declared in the user-side .h files).

-- Damien

@vicuna
Copy link
Author

vicuna commented Apr 30, 2002

Comment author: administrator

I can't seem to reproduce this bug. Could you send me a complete program
that exhibits the problem ?

I wish I'd kept the trivial piece of code that sufficed!
Unfortunately I only have large bits left and I have not
as yet recreated a fragment that demonstrates the problem.
I will get back to you as soon as I can!

@vicuna
Copy link
Author

vicuna commented Jun 3, 2002

Comment author: administrator

Can't reproduce.

@vicuna vicuna closed this as completed Jun 3, 2002
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant