spec: clarify that result parameters are always zeroed before the function executes.

R=golang-dev
CC=golang-dev
https://golang.org/cl/1641043

1 files changed, 5 insertions, 2 deletions

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 9e0994707e..e2637d96cd 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -4190,8 +4190,7 @@ func complex_f2() (re float, im float) {
 	</li>
 	<li>The expression list may be empty if the functions's result
 		type specifies names for its result parameters (§<a href="#Function_Types">Function Types</a>).
-		The result parameters act as ordinary local variables that are
-		initialized to the zero values for their type (§<a href="#The_zero_value">The zero value</a>)
+		The result parameters act as ordinary local variables
 		and the function may assign values to them as necessary.
 		The "return" statement returns the values of these variables.
 <pre>
@@ -4204,6 +4203,10 @@ func complex_f3() (re float, im float) {
 	</li>
 </ol>
 
+<p>
+Regardless of how they are declared, all the result values are initialized to the zero values for their type (§<a href="#The_zero_value">The zero value</a>) upon entry to the function.
+</p>
+
 <!---
 <p>
 <span class="alert">