Thread.all_threads() problem
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=3097
Reported by Thomas Bopp, Uni-GH Paderborn astra@upb.de
Thread.all_threads() seems to crash under certain circumstances. While an easy program like main() { write(sizeof(Thread.all_threads()); } seems to work without problems it causes problems when running inside threads. I have two small tests. The first crashes after some seconds. The second almost directly.