runtime: improve comment on selectgo

In particular, document that *sel is on the stack no matter what.

Change-Id: I1c264215e026c27721b13eedae73ec845066cdec
Reviewed-on: https://go-review.googlesource.com/20032
Reviewed-by: Rick Hudson <rlh@golang.org>

diff --git a/src/runtime/select.go b/src/runtime/select.go
index 4e87dba3e72e99000a1682cd83ac48ac7b122441..ddc3d81638ef6a0b8f5a29e8ea40023a40531b8f 100644 (file)
--- a/src/runtime/select.go
+++ b/src/runtime/select.go
@@ -208,8 +208,15 @@ func block() {
        gopark(nil, nil, "select (no cases)", traceEvGoStop, 1) // forever
 }
 
-// overwrites return pc on stack to signal which case of the select
-// to run, so cannot appear at the top of a split stack.
+// selectgo implements the select statement.
+//
+// *sel is on the current goroutine's stack (regardless of any
+// escaping in selectgo).
+//
+// selectgo does not return. Instead, it overwrites its return PC and
+// returns directly to the triggered select case. Because of this, it
+// cannot appear at the top of a split stack.
+//
 //go:nosplit
 func selectgo(sel *hselect) {
        pc, offset := selectgoImpl(sel)