diff options
author | Russ Cox <rsc@golang.org> | 2009-06-09 09:45:30 -0700 |
---|---|---|
committer | Russ Cox <rsc@golang.org> | 2009-06-09 09:45:30 -0700 |
commit | acf6ef7a82b3fe61516a1bac4563706552bdf078 (patch) | |
tree | f5dabc87030e82aa1c691ef2414a56b815156700 | |
parent | d9f28e58405ccd3e431d46fe431f0d9d5f86d354 (diff) | |
download | golang-acf6ef7a82b3fe61516a1bac4563706552bdf078.tar.gz |
bug: pointer arithmetic involving large offsets
needs to dereference the base pointer to make
sure it catches nil.
R=r,ken
DELTA=21 (21 added, 0 deleted, 0 changed)
OCL=30083
CL=30101
-rw-r--r-- | test/bugs/bug162.go | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/bugs/bug162.go b/test/bugs/bug162.go new file mode 100644 index 000000000..717f1f0a4 --- /dev/null +++ b/test/bugs/bug162.go @@ -0,0 +1,25 @@ +// $G $D/$F.go && $L $F.$A && (! ./$A.out || echo BUG: should fail) + +// Copyright 2009 The Go Authors. All rights reserved. +// Use of this source code is governed by a BSD-style +// license that can be found in the LICENSE file. + +package main + +import "unsafe" + +var x byte + +func main() { + var p *[1<<30]byte = nil; + x = 123; + + // The problem here is not the use of unsafe: + // it is that indexing into p[] with a large + // enough index jumps out of the unmapped section + // at the beginning of memory and into valid memory. + // Pointer offsets and array indices, if they are + // very large, need to dereference the base pointer + // to trigger a trap. + println(p[uintptr(unsafe.Pointer(&x))]); +} |