]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.typeparams] cmd/compile: report mismatch between types because of //go:notinheap
authorDan Scales <danscales@google.com>
Thu, 8 Jul 2021 19:07:01 +0000 (12:07 -0700)
committerDan Scales <danscales@google.com>
Fri, 9 Jul 2021 16:14:34 +0000 (16:14 +0000)
commit04acb8a7b9fc0212687cc25aa2598d12f6aceb74
treef0dc8d7577cad2527cf7abc9261f519350199c54
parent2b1d70a137481c0b9f652950f1ac3570f24f68b8
[dev.typeparams] cmd/compile:  report mismatch between types because of //go:notinheap

types2 currently ignores pragmas, so it does not catch a conversion
error when converting a pointer to a type which is NOT marked notinheap
to a pointer to a convertible type, but which is marked notinheap.

So, we specifically check for this error in transformConv() and report
it during noder2.

Change-Id: I6e9c9ee29f53fa5e490c1ac8306e2191db59eeb4
Reviewed-on: https://go-review.googlesource.com/c/go/+/333369
Run-TryBot: Dan Scales <danscales@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
Trust: Robert Griesemer <gri@golang.org>
Trust: Dan Scales <danscales@google.com>
src/cmd/compile/internal/noder/irgen.go
src/cmd/compile/internal/noder/transform.go
test/run.go