compiler.cfg.dependence: Add ##allot to control dependency chain, so that we don't re-order an allocation and initialization with an alien call. The alien call might GC, exposing uninitialized memory to the GC. Fixes #53, fixes #58, fixes #20.

2011-08-28 21:24:58 -07:00 · 2011-08-28 21:24:58 -07:00 · 75a97f2fa0
parent 1f6469878a
commit 75a97f2fa0
1 changed files with 1 additions and 0 deletions
--- a/basis/compiler/cfg/dependence/dependence.factor
+++ b/basis/compiler/cfg/dependence/dependence.factor
@ -55,6 +55,7 @@ UNION: slot-insn
    ##read ##write ;

 UNION: memory-insn
+    ##allot
    ##load-memory ##load-memory-imm
    ##store-memory ##store-memory-imm
    ##write-barrier ##write-barrier-imm