Ruby's dataflow ExprReturnNode only recognises implicit returns that are direct statements of the method body (c.getBody().getAStmt()), missing cases where the returned value is in a rescue, else, or a body with ensure present.

New test: implicit-return

Six cases, all using implicit returns (no return keyword):

# Works: simple body return
def m_body
  source(1)
end
sink(m_body) # $ hasValueFlow=1

# Missing: body return when ensure is present
def m_body_ensure
  source(2)
ensure
  nil
end
sink(m_body_ensure) # $ MISSING: hasValueFlow=2

# Missing: rescue clause
def m_rescue
  raise "error"
rescue
  source(3)
end
sink(m_rescue) # $ MISSING: hasValueFlow=3

# Also MISSING: rescue+ensure, else, else+ensure

MISSING: annotations document known gaps without causing test failures; the framework will emit "Fixed missing result" when the bug is eventually addressed.