mirror of
https://github.com/golang/go.git
synced 2025-05-20 06:43:26 +00:00
9d669ed47a
The test was using the wrong column numbers, and was erroneously passing because there happened to be line numbers that matched those column numbers. Change the test harness to require the expected line number for the ERROR HERE regexp case, so that this doesn't happen again. Also rename a couple of variables in the test to avoid useless redeclaration errors. Fixes #46534 Change-Id: I2fcbf5e379c346de5346035c73d174a3980c0927 Reviewed-on: https://go-review.googlesource.com/c/go/+/324970 Trust: Ian Lance Taylor <iant@golang.org> Run-TryBot: Ian Lance Taylor <iant@golang.org> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Matthew Dempsky <mdempsky@google.com>
103 lines
2.1 KiB
Go
103 lines
2.1 KiB
Go
// Copyright 2013 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
|
|
|
|
/*
|
|
#include <stdio.h>
|
|
|
|
typedef struct foo foo_t;
|
|
typedef struct bar bar_t;
|
|
|
|
foo_t *foop;
|
|
|
|
long double x = 0;
|
|
|
|
static int transform(int x) { return x; }
|
|
|
|
typedef void v;
|
|
void F(v** p) {}
|
|
|
|
void fvi(void *p, int x) {}
|
|
|
|
void fppi(int** p) {}
|
|
|
|
int i;
|
|
void fi(int i) {}
|
|
*/
|
|
import "C"
|
|
import (
|
|
"unsafe"
|
|
)
|
|
|
|
func main() {
|
|
s := ""
|
|
_ = s
|
|
C.malloc(s) // ERROR HERE
|
|
|
|
x := (*C.bar_t)(nil)
|
|
C.foop = x // ERROR HERE
|
|
|
|
// issue 13129: used to output error about C.unsignedshort with CC=clang
|
|
var x1 C.ushort
|
|
x1 = int(0) // ERROR HERE: C\.ushort
|
|
|
|
// issue 13423
|
|
_ = C.fopen() // ERROR HERE
|
|
|
|
// issue 13467
|
|
var x2 rune = '✈'
|
|
var _ rune = C.transform(x2) // ERROR HERE: C\.int
|
|
|
|
// issue 13635: used to output error about C.unsignedchar.
|
|
// This test tests all such types.
|
|
var (
|
|
_ C.uchar = "uc" // ERROR HERE: C\.uchar
|
|
_ C.schar = "sc" // ERROR HERE: C\.schar
|
|
_ C.ushort = "us" // ERROR HERE: C\.ushort
|
|
_ C.uint = "ui" // ERROR HERE: C\.uint
|
|
_ C.ulong = "ul" // ERROR HERE: C\.ulong
|
|
_ C.longlong = "ll" // ERROR HERE: C\.longlong
|
|
_ C.ulonglong = "ull" // ERROR HERE: C\.ulonglong
|
|
_ C.complexfloat = "cf" // ERROR HERE: C\.complexfloat
|
|
_ C.complexdouble = "cd" // ERROR HERE: C\.complexdouble
|
|
)
|
|
|
|
// issue 13830
|
|
// cgo converts C void* to Go unsafe.Pointer, so despite appearances C
|
|
// void** is Go *unsafe.Pointer. This test verifies that we detect the
|
|
// problem at build time.
|
|
{
|
|
type v [0]byte
|
|
|
|
f := func(p **v) {
|
|
C.F((**C.v)(unsafe.Pointer(p))) // ERROR HERE
|
|
}
|
|
var p *v
|
|
f(&p)
|
|
}
|
|
|
|
// issue 16116
|
|
_ = C.fvi(1) // ERROR HERE
|
|
|
|
// Issue 16591: Test that we detect an invalid call that was being
|
|
// hidden by a type conversion inserted by cgo checking.
|
|
{
|
|
type x *C.int
|
|
var p *x
|
|
C.fppi(p) // ERROR HERE
|
|
}
|
|
|
|
// issue 26745
|
|
_ = func(i int) int {
|
|
return C.i + 1 // ERROR HERE: 14
|
|
}
|
|
_ = func(i int) {
|
|
C.fi(i) // ERROR HERE: 7
|
|
}
|
|
|
|
C.fi = C.fi // ERROR HERE
|
|
|
|
}
|