summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorRobert Griesemer <gri@golang.org>2014-10-23 09:45:11 -0700
committerRobert Griesemer <gri@golang.org>2014-10-23 09:45:11 -0700
commit49afa3fd45ad387be9f30850a62e68fd31f5bd24 (patch)
tree5c4ae85656f782dca9764730c61b6eec82ae5982 /doc
parent330f4f9d4214a04ab1d9636480181d182ebc9b41 (diff)
downloadgo-49afa3fd45ad387be9f30850a62e68fd31f5bd24.tar.gz
spec: minimal documention of unsafe.Pointer conversions
Per suggestion from rsc as a result of the dicussion of (abandoned) CL 153110044. Fixes issue 7192. LGTM=r, rsc, iant R=r, rsc, iant, ken CC=golang-codereviews https://codereview.appspot.com/163050043
Diffstat (limited to 'doc')
-rw-r--r--doc/go_spec.html11
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/go_spec.html b/doc/go_spec.html
index 97effeaa4..ad645c1ff 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
<!--{
"Title": "The Go Programming Language Specification",
- "Subtitle": "Version of October 16, 2014",
+ "Subtitle": "Version of October 23, 2014",
"Path": "/ref/spec"
}-->
@@ -6207,8 +6207,8 @@ type Error interface {
The built-in package <code>unsafe</code>, known to the compiler,
provides facilities for low-level programming including operations
that violate the type system. A package using <code>unsafe</code>
-must be vetted manually for type safety. The package provides the
-following interface:
+must be vetted manually for type safety and may not be portable.
+The package provides the following interface:
</p>
<pre class="grammar">
@@ -6223,10 +6223,11 @@ func Sizeof(variable ArbitraryType) uintptr
</pre>
<p>
-Any pointer or value of <a href="#Types">underlying type</a> <code>uintptr</code> can be converted to
-a <code>Pointer</code> type and vice versa.
A <code>Pointer</code> is a <a href="#Pointer_types">pointer type</a> but a <code>Pointer</code>
value may not be <a href="#Address_operators">dereferenced</a>.
+Any pointer or value of <a href="#Types">underlying type</a> <code>uintptr</code> can be converted to
+a <code>Pointer</code> type and vice versa.
+The effect of converting between <code>Pointer</code> and <code>uintptr</code> is implementation-defined.
</p>
<pre>