mirror of
https://github.com/golang/go
synced 2024-11-05 23:26:18 -07:00
dc9755c2a2
Add missing race and msan checks to reflect.typedmmemove and reflect.typedslicecopy. Missing these checks caused the race detector to miss races and caused msan to issue false positive errors. Fixes #16281. Change-Id: I500b5f92bd68dc99dd5d6f297827fd5d2609e88b Reviewed-on: https://go-review.googlesource.com/24760 Run-TryBot: Brad Fitzpatrick <bradfitz@golang.org> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Dmitry Vyukov <dvyukov@google.com>
58 lines
904 B
Go
58 lines
904 B
Go
// Copyright 2016 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
|
|
|
|
// Using reflect to set a value was not seen by msan.
|
|
|
|
/*
|
|
#include <stdlib.h>
|
|
|
|
extern void Go1(int*);
|
|
extern void Go2(char*);
|
|
|
|
// Use weak as a hack to permit defining a function even though we use export.
|
|
void C1() __attribute__ ((weak));
|
|
void C2() __attribute__ ((weak));
|
|
|
|
void C1() {
|
|
int i;
|
|
Go1(&i);
|
|
if (i != 42) {
|
|
abort();
|
|
}
|
|
}
|
|
|
|
void C2() {
|
|
char a[2];
|
|
a[1] = 42;
|
|
Go2(a);
|
|
if (a[0] != 42) {
|
|
abort();
|
|
}
|
|
}
|
|
*/
|
|
import "C"
|
|
|
|
import (
|
|
"reflect"
|
|
"unsafe"
|
|
)
|
|
|
|
//export Go1
|
|
func Go1(p *C.int) {
|
|
reflect.ValueOf(p).Elem().Set(reflect.ValueOf(C.int(42)))
|
|
}
|
|
|
|
//export Go2
|
|
func Go2(p *C.char) {
|
|
a := (*[2]byte)(unsafe.Pointer(p))
|
|
reflect.Copy(reflect.ValueOf(a[:1]), reflect.ValueOf(a[1:]))
|
|
}
|
|
|
|
func main() {
|
|
C.C1()
|
|
C.C2()
|
|
}
|