]> Cypherpunks repositories - gostls13.git/commitdiff
cmd/8g: fix miscompilation due to BADWIDTH.
authorRémy Oudompheng <oudomphe@phare.normalesup.org>
Fri, 3 Aug 2012 20:05:51 +0000 (22:05 +0200)
committerRémy Oudompheng <oudomphe@phare.normalesup.org>
Fri, 3 Aug 2012 20:05:51 +0000 (22:05 +0200)
Fixes #3899.

R=rsc
CC=golang-dev, remy
https://golang.org/cl/6453084

src/cmd/8g/gsubr.c
test/fixedbugs/bug450.go [new file with mode: 0644]

index 439495c0345919c72ccd13b9490b05a84441473b..ca54b862792464e089b80ae613c9e3b74bc258a9 100644 (file)
@@ -1853,6 +1853,7 @@ naddr(Node *n, Addr *a, int canemitcode)
                a->width = 0;
                if(n->type != T) {
                        a->etype = simtype[n->type->etype];
+                       dowidth(n->type);
                        a->width = n->type->width;
                        a->gotype = ngotype(n);
                }
diff --git a/test/fixedbugs/bug450.go b/test/fixedbugs/bug450.go
new file mode 100644 (file)
index 0000000..3f13de1
--- /dev/null
@@ -0,0 +1,28 @@
+// run
+
+// 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.
+
+// Issue 3899: 8g incorrectly thinks a variable is
+// "set but not used" and elides an assignment, causing
+// variables to end up with wrong data.
+//
+// The reason is a miscalculation of variable width.
+
+package main
+
+func bar(f func()) {
+       f()
+}
+
+func foo() {
+       f := func() {}
+       if f == nil {
+       }
+       bar(f)
+}
+
+func main() {
+       foo()
+}