Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cmd/compile: miscompilation in pointer operations [1.17 backport] #52960

Closed
gopherbot opened this issue May 18, 2022 · 3 comments
Closed

cmd/compile: miscompilation in pointer operations [1.17 backport] #52960

gopherbot opened this issue May 18, 2022 · 3 comments
Labels
CherryPickApproved Used during the release process for point releases FrozenDueToAge
Milestone

Comments

@gopherbot
Copy link

@bcmills requested issue #52953 to be considered for backport to the next 1.17 minor release.

@gopherbot, please backport to Go 1.17 and 1.18. This bug causes miscompilation of otherwise-correct Go programs.

@gopherbot gopherbot added the CherryPickCandidate Used during the release process for point releases label May 18, 2022
@gopherbot gopherbot added this to the Go1.17.11 milestone May 18, 2022
@randall77
Copy link
Contributor

See my comment on #52961

@dmitshur dmitshur modified the milestones: Go1.17.11, Go1.17.12 Jun 1, 2022
@heschi heschi added the CherryPickApproved Used during the release process for point releases label Jun 15, 2022
@gopherbot gopherbot removed the CherryPickCandidate Used during the release process for point releases label Jun 15, 2022
@gopherbot gopherbot modified the milestones: Go1.17.12, Go1.17.13 Jul 12, 2022
@gopherbot
Copy link
Author

Change https://go.dev/cl/419451 mentions this issue: [release-branch.go1.17] cmd/compile: do not use special literal assignment if LHS is address-taken

@gopherbot
Copy link
Author

Closed by merging d9242f7 to release-branch.go1.17.

gopherbot pushed a commit that referenced this issue Jul 26, 2022
…nment if LHS is address-taken

A composite literal assignment

x = T{field: v}

may be compiled to

x = T{}
x.field = v

We already do not use this form is RHS uses LHS. If LHS is
address-taken, RHS may uses LHS implicitly, e.g.

v = &x.field
x = T{field: *v}

The lowering above would change the value of RHS (*v).

Updates #52953.
Fixes #52960.

Change-Id: I3f798e00598aaa550b8c17182c7472fef440d483
Reviewed-on: https://go-review.googlesource.com/c/go/+/407014
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Cherry Mui <cherryyz@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
(cherry picked from commit 1c77137)
Reviewed-on: https://go-review.googlesource.com/c/go/+/419451
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
@golang golang locked and limited conversation to collaborators Jul 26, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CherryPickApproved Used during the release process for point releases FrozenDueToAge
Projects
None yet
Development

No branches or pull requests

4 participants