Skip to content

Commit

Permalink
cmd/gc: fix inlining bug for composite literals in if statements.
Browse files Browse the repository at this point in the history
Fixes #4230.

R=golang-dev, rsc
CC=golang-dev, remy
https://golang.org/cl/6640056
  • Loading branch information
remyoudompheng committed Oct 22, 2012
1 parent 77e42e2 commit 319131f
Show file tree
Hide file tree
Showing 4 changed files with 94 additions and 4 deletions.
10 changes: 6 additions & 4 deletions src/cmd/gc/fmt.c
Original file line number Diff line number Diff line change
Expand Up @@ -1161,7 +1161,7 @@ exprfmt(Fmt *f, Node *n, int prec)
case OCOMPLIT:
if(fmtmode == FErr)
return fmtstrcpy(f, "composite literal");
return fmtprint(f, "%N{ %,H }", n->right, n->list);
return fmtprint(f, "(%N{ %,H })", n->right, n->list);

case OPTRLIT:
if(fmtmode == FExp && n->left->implicit)
Expand All @@ -1172,8 +1172,8 @@ exprfmt(Fmt *f, Node *n, int prec)
if(fmtmode == FExp) { // requires special handling of field names
if(n->implicit)
fmtstrcpy(f, "{");
else
fmtprint(f, "%T{", n->type);
else
fmtprint(f, "(%T{", n->type);
for(l=n->list; l; l=l->next) {
// another special case: if n->left is an embedded field of builtin type,
// it needs to be non-qualified. Can't figure that out in %S, so do it here
Expand All @@ -1190,6 +1190,8 @@ exprfmt(Fmt *f, Node *n, int prec)
else
fmtstrcpy(f, " ");
}
if(!n->implicit)
return fmtstrcpy(f, "})");
return fmtstrcpy(f, "}");
}
// fallthrough
Expand All @@ -1200,7 +1202,7 @@ exprfmt(Fmt *f, Node *n, int prec)
return fmtprint(f, "%T literal", n->type);
if(fmtmode == FExp && n->implicit)
return fmtprint(f, "{ %,H }", n->list);
return fmtprint(f, "%T{ %,H }", n->type, n->list);
return fmtprint(f, "(%T{ %,H })", n->type, n->list);

case OKEY:
if(n->left && n->right)
Expand Down
61 changes: 61 additions & 0 deletions test/fixedbugs/bug465.dir/a.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
// 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 a

type T struct{ A, B int }

type A []int

type M map[int]int

func F1() int {
if (T{1, 2}) == (T{3, 4}) {
return 1
}
return 0
}

func F2() int {
if (M{1: 2}) == nil {
return 1
}
return 0
}

func F3() int {
if nil == (A{}) {
return 1
}
return 0
}

func F4() int {
if a := (A{}); a == nil {
return 1
}
return 0
}

func F5() int {
for k, v := range (M{1: 2}) {
return v - k
}
return 0
}

func F6() int {
switch a := (T{1, 1}); a == (T{1, 2}) {
default:
return 1
}
return 0
}

func F7() int {
for m := (M{}); len(m) < (T{1, 2}).A; m[1] = (A{1})[0] {
return 1
}
return 0
}
17 changes: 17 additions & 0 deletions test/fixedbugs/bug465.dir/b.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
// 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

import "./a"

func main() {
for _, f := range []func() int{
a.F1, a.F2, a.F3, a.F4,
a.F5, a.F6, a.F7} {
if f() > 1 {
panic("f() > 1")
}
}
}
10 changes: 10 additions & 0 deletions test/fixedbugs/bug465.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
// rundir

// 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 4230: inlining bug for composite literal in
// if, for, switch statements.

package ignored

0 comments on commit 319131f

Please sign in to comment.