diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2010-07-04 02:14:46 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2010-07-04 02:14:46 -0700 |
| commit | 1ac6a5038df5fb795a97709aef552ca8a5c1ca7f (patch) | |
| tree | 1c55948114ec77919672ffe727e856cbc566c287 /src/boot | |
| parent | 5db3f6ef6a81b6c54f100c2fc8bc7ecf073ec683 (diff) | |
Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tree is always finite anyways so not a big deal for now.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/trans.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index e6662ed6eb2..0815fbac5c8 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1342,7 +1342,10 @@ let trans_visitor abi.Abi.abi_emit_fn_prologue (emitter()) framesz callsz nabi_rust (upcall_fixup "upcall_grow_task"); write_frame_info_ptrs None; - check_interrupt_flag (); + (* FIXME: not clear why, but checking interrupt in glue context + * causes many.rs to crash when run on a sufficiently large number + * of tasks; possibly a weird interaction with growing? *) + (* check_interrupt_flag (); *) iflog (fun _ -> annotate "finished prologue"); and emitted_quads e = |