diff options
author | Cherry Mui <cherryyz@google.com> | 2023-05-16 19:52:41 -0400 |
---|---|---|
committer | Cherry Mui <cherryyz@google.com> | 2023-05-17 14:48:16 +0000 |
commit | 87e69c1812c2197688e0d14720760ea87b3b26af (patch) | |
tree | 0b14ad0f5345e13cefed1708095bfb212223b502 | |
parent | bf8571c5d6ce823e3ad7491429cf26d3a74461aa (diff) | |
download | go-git-87e69c1812c2197688e0d14720760ea87b3b26af.tar.gz |
cmd/compile: don't inline from norace packages in race mode
In race mode (or other instrumentation mode), if the caller is in
a regular package and the callee is in a norace (or noinstrument)
package, don't inline. Otherwise, when the caller is instumented
it will also affect the inlined callee.
An example is sync.(*Mutex).Unlock, which is typically not inlined
but with PGO it can be inlined into a regular function, which is
then get instrumented. But the rest of the sync package, in
particular, the Lock function is not instrumented, causing the
race detector to signal false race.
Change-Id: Ia78bb602c6da63a34ec2909b9a82646bf20873f3
Reviewed-on: https://go-review.googlesource.com/c/go/+/495595
Run-TryBot: Cherry Mui <cherryyz@google.com>
Reviewed-by: Michael Pratt <mpratt@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
-rw-r--r-- | src/cmd/compile/internal/inline/inl.go | 5 | ||||
-rw-r--r-- | src/cmd/compile/internal/types/type.go | 22 |
2 files changed, 26 insertions, 1 deletions
diff --git a/src/cmd/compile/internal/inline/inl.go b/src/cmd/compile/internal/inline/inl.go index cd856b9a9a..f8b5c4abae 100644 --- a/src/cmd/compile/internal/inline/inl.go +++ b/src/cmd/compile/internal/inline/inl.go @@ -1041,7 +1041,7 @@ func mkinlcall(n *ir.CallExpr, fn *ir.Func, bigCaller bool, inlCalls *[]*ir.Inli return n } - if base.Flag.Cfg.Instrumenting && types.IsRuntimePkg(fn.Sym().Pkg) { + if base.Flag.Cfg.Instrumenting && types.IsNoInstrumentPkg(fn.Sym().Pkg) { // Runtime package must not be instrumented. // Instrument skips runtime package. However, some runtime code can be // inlined into other packages and instrumented there. To avoid this, @@ -1050,6 +1050,9 @@ func mkinlcall(n *ir.CallExpr, fn *ir.Func, bigCaller bool, inlCalls *[]*ir.Inli // which lead to false race reports on m contents. return n } + if base.Flag.Race && types.IsNoRacePkg(fn.Sym().Pkg) { + return n + } parent := base.Ctxt.PosTable.Pos(n.Pos()).Base().InliningIndex() sym := fn.Linksym() diff --git a/src/cmd/compile/internal/types/type.go b/src/cmd/compile/internal/types/type.go index 9775d37b39..c390b8194b 100644 --- a/src/cmd/compile/internal/types/type.go +++ b/src/cmd/compile/internal/types/type.go @@ -1863,6 +1863,28 @@ func IsTypePkg(p *Pkg) bool { return p == typepkg } +// IsNoInstrumentPkg reports whether p is a package that +// should not be instrumented. +func IsNoInstrumentPkg(p *Pkg) bool { + for _, np := range base.NoInstrumentPkgs { + if p.Path == np { + return true + } + } + return false +} + +// IsNoRacePkg reports whether p is a package that +// should not be race instrumented. +func IsNoRacePkg(p *Pkg) bool { + for _, np := range base.NoRacePkgs { + if p.Path == np { + return true + } + } + return false +} + // ReceiverBaseType returns the underlying type, if any, // that owns methods with receiver parameter t. // The result is either a named type or an anonymous struct. |