Bug #11750: SEGV with Enumerator, yield and proc.

• Status: Closed
• Assignee: ko1 (Koichi Sasada)
• Target version: -
• ruby -v: ruby 2.3.0dev (2015-11-29 trunk 52789) [x86_64-linux]
• Backport: 2.0.0: UNKNOWN, 2.1: UNKNOWN, 2.2: UNKNOWN

[akr (Akira Tanaka)]

I found SEGV as follows.

% cat z.rb 
def f
  Enumerator.new {|y|
    1000000.times {
      yield
      y.yield
    }
  }
end

def g
  x = proc {}
  f(&x)
end

e = g
e.each {}

% ./miniruby z.rb
(snip)

[nobu (Nobuyoshi Nakada)]

• File bug-11750.log bug-11750.log added
• Description updated (diff)

By bisecting, it raises SytemStackError or segfaults since r51243.

* vm_core.h: remove blockprocval field from rb_proc_t and rb_binding_t.
  Instead of this field, mark given block in Proc at rb_env_t::env.

Enumerator, Generator, or Yielder may need more marking or write-barrier.

[ko1 (Koichi Sasada)]

• Assignee set to ko1 (Koichi Sasada)

[ko1 (Koichi Sasada)]

• Status changed from Open to Closed

Applied in changeset r53144.

---

• vm.c: fix mark miss for proc given as passed block.
  [Bug #11750]

• vm.c (vm_make_proc_from_block): should return a Proc object
  if block is given. Previous implementation returns
  a Proc object only when corresponding Proc object is not
  available.

• vm.c (vm_make_env_each): ditto.

• test/ruby/test_proc.rb: add a test for this bug.