diff options
author | Luuk van Dijk <lvd@golang.org> | 2012-02-10 22:50:55 +0100 |
---|---|---|
committer | Luuk van Dijk <lvd@golang.org> | 2012-02-10 22:50:55 +0100 |
commit | 8b7d0931791f04907af6e823a727e453ecb30adb (patch) | |
tree | 164048a3a75163c9a2072834bd7dbef3baf249c5 /test/safe | |
parent | 591c399c168b64f4ac81296df505523469d22b73 (diff) | |
download | go-8b7d0931791f04907af6e823a727e453ecb30adb.tar.gz |
cmd/gc: suspend safemode during typecheck of inlined bodies.
Should be obviously correct. Includes minimal test case.
A future CL should clear up the logic around typecheckok and importpkg != nil someday.
R=rsc, dsymonds, rsc
CC=golang-dev
http://codereview.appspot.com/5652057
Diffstat (limited to 'test/safe')
-rw-r--r-- | test/safe/main.go | 14 | ||||
-rw-r--r-- | test/safe/nousesafe.go | 8 | ||||
-rw-r--r-- | test/safe/pkg.go | 16 | ||||
-rw-r--r-- | test/safe/usesafe.go | 8 |
4 files changed, 46 insertions, 0 deletions
diff --git a/test/safe/main.go b/test/safe/main.go new file mode 100644 index 000000000..d173ed926 --- /dev/null +++ b/test/safe/main.go @@ -0,0 +1,14 @@ +// true + +// Copyright 2012 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 + +// can't use local path with -u, use -I. instead +import "pkg" // ERROR "import unsafe package" + +func main() { + print(pkg.Float32bits(1.0)) +} diff --git a/test/safe/nousesafe.go b/test/safe/nousesafe.go new file mode 100644 index 000000000..f61e7fe4f --- /dev/null +++ b/test/safe/nousesafe.go @@ -0,0 +1,8 @@ +// $G $D/pkg.go && pack grc pkg.a pkg.$A 2> /dev/null && rm pkg.$A && errchk $G -I. -u $D/main.go +// rm -f pkg.a + +// Copyright 2012 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 ignored diff --git a/test/safe/pkg.go b/test/safe/pkg.go new file mode 100644 index 000000000..bebc43a21 --- /dev/null +++ b/test/safe/pkg.go @@ -0,0 +1,16 @@ +// true + +// Copyright 2012 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. + +// a package that uses unsafe on the inside but not in it's api + +package pkg + +import "unsafe" + +// this should be inlinable +func Float32bits(f float32) uint32 { + return *(*uint32)(unsafe.Pointer(&f)) +}
\ No newline at end of file diff --git a/test/safe/usesafe.go b/test/safe/usesafe.go new file mode 100644 index 000000000..07c13c1c3 --- /dev/null +++ b/test/safe/usesafe.go @@ -0,0 +1,8 @@ +// $G $D/pkg.go && pack grcS pkg.a pkg.$A 2> /dev/null && rm pkg.$A && $G -I. -u $D/main.go +// rm -f pkg.a + +// Copyright 2012 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 ignored |