From 5ce78b7cd281b187a06dcdb9ea9d1de8419db297 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@golang.org>
Date: Thu, 15 Aug 2013 14:33:26 -0400
Subject: [PATCH] spec: &x panics if x does

See golang.org/s/go12nil for the extended version.

R=golang-dev, r, adonovan
CC=golang-dev
https://golang.org/cl/12964043
---
 doc/go_spec.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/go_spec.html b/doc/go_spec.html
index ba7b3644d9..12f43ef2fb 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -3287,7 +3287,10 @@ or an array indexing operation of an addressable array.
 As an exception to the addressability requirement, <code>x</code> may also be a
 (possibly parenthesized)
 <a href="#Composite_literals">composite literal</a>.
+If the evaluation of <code>x</code> would cause a <a href="#Run_time_panics">run-time panic</a>, 
+then the evaluation of <code>&x</code> does too.
 </p>
+
 <p>
 For an operand <code>x</code> of pointer type <code>*T</code>, the pointer
 indirection <code>*x</code> denotes the value of type <code>T</code> pointed
@@ -3302,6 +3305,10 @@ will cause a <a href="#Run_time_panics">run-time panic</a>.
 &amp;Point{2, 3}
 *p
 *pf(x)
+
+var x *int = nil
+*x   // causes a run-time panic
+&*x  // causes a run-time panic
 </pre>
 
 
-- 
2.50.0