forked from OSchip/llvm-project
Reverting due to line ending changes; will reapply after addressing that.
llvm-svn: 335049
This commit is contained in:
Aaron Ballman
parent
9360cb0745
commit
68d5064beb
File diff suppressed because it is too large
Load Diff
|
|
@ -53,226 +53,203 @@ void test9(short v) {
|
|||
|
||||
// overloaded atomics should be declared only once.
|
||||
void test9_1(volatile int* ptr, int val) {
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
}
|
||||
void test9_2(volatile int* ptr, int val) {
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
}
|
||||
void test9_3(volatile int* ptr, int val) {
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
}
|
||||
|
||||
void test9_4(volatile int* ptr, int val) {
|
||||
// expected-warning@+1 {{the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here}}
|
||||
__sync_fetch_and_nand(ptr, val);
|
||||
}
|
||||
|
||||
// rdar://7236819
|
||||
void test10(void) __attribute__((noreturn));
|
||||
|
||||
void test10(void) {
|
||||
__asm__("int3");
|
||||
__builtin_unreachable();
|
||||
|
||||
// No warning about falling off the end of a noreturn function.
|
||||
}
|
||||
|
||||
void test11(int X) {
|
||||
switch (X) {
|
||||
case __builtin_eh_return_data_regno(0): // constant foldable.
|
||||
break;
|
||||
}
|
||||
|
||||
__builtin_eh_return_data_regno(X); // expected-error {{argument to '__builtin_eh_return_data_regno' must be a constant integer}}
|
||||
}
|
||||
|
||||
// PR5062
|
||||
void test12(void) __attribute__((__noreturn__));
|
||||
void test12(void) {
|
||||
__builtin_trap(); // no warning because trap is noreturn.
|
||||
}
|
||||
|
||||
void test_unknown_builtin(int a, int b) {
|
||||
__builtin_isles(a, b); // expected-error{{use of unknown builtin}} \
|
||||
// expected-note{{did you mean '__builtin_isless'?}}
|
||||
}
|
||||
|
||||
int test13() {
|
||||
__builtin_eh_return(0, 0); // no warning, eh_return never returns.
|
||||
}
|
||||
|
||||
// <rdar://problem/8228293>
|
||||
void test14() {
|
||||
int old;
|
||||
old = __sync_fetch_and_min((volatile int *)&old, 1);
|
||||
}
|
||||
|
||||
// <rdar://problem/8336581>
|
||||
void test15(const char *s) {
|
||||
__builtin_printf("string is %s\n", s);
|
||||
}
|
||||
|
||||
// PR7885
|
||||
int test16() {
|
||||
return __builtin_constant_p() + // expected-error{{too few arguments}}
|
||||
__builtin_constant_p(1, 2); // expected-error {{too many arguments}}
|
||||
}
|
||||
|
||||
const int test17_n = 0;
|
||||
const char test17_c[] = {1, 2, 3, 0};
|
||||
const char test17_d[] = {1, 2, 3, 4};
|
||||
typedef int __attribute__((vector_size(16))) IntVector;
|
||||
struct Aggregate { int n; char c; };
|
||||
enum Enum { EnumValue1, EnumValue2 };
|
||||
|
||||
typedef __typeof(sizeof(int)) size_t;
|
||||
size_t strlen(const char *);
|
||||
|
||||
void test17() {
|
||||
#define ASSERT(...) { int arr[(__VA_ARGS__) ? 1 : -1]; }
|
||||
#define T(...) ASSERT(__builtin_constant_p(__VA_ARGS__))
|
||||
#define F(...) ASSERT(!__builtin_constant_p(__VA_ARGS__))
|
||||
|
||||
// __builtin_constant_p returns 1 if the argument folds to:
|
||||
// - an arithmetic constant with value which is known at compile time
|
||||
T(test17_n);
|
||||
T(&test17_c[3] - test17_c);
|
||||
T(3i + 5); // expected-warning {{imaginary constant}}
|
||||
T(4.2 * 7.6);
|
||||
T(EnumValue1);
|
||||
T((enum Enum)(int)EnumValue2);
|
||||
|
||||
// - the address of the first character of a string literal, losslessly cast
|
||||
// to any type
|
||||
T("string literal");
|
||||
T((double*)"string literal");
|
||||
T("string literal" + 0);
|
||||
T((long)"string literal");
|
||||
|
||||
// ... and otherwise returns 0.
|
||||
F("string literal" + 1);
|
||||
F(&test17_n);
|
||||
F(test17_c);
|
||||
F(&test17_c);
|
||||
F(&test17_d);
|
||||
F((struct Aggregate){0, 1});
|
||||
F((IntVector){0, 1, 2, 3});
|
||||
|
||||
// Ensure that a technique used in glibc is handled correctly.
|
||||
#define OPT(...) (__builtin_constant_p(__VA_ARGS__) && strlen(__VA_ARGS__) < 4)
|
||||
// FIXME: These are incorrectly treated as ICEs because strlen is treated as
|
||||
// a builtin.
|
||||
ASSERT(OPT("abc"));
|
||||
ASSERT(!OPT("abcd"));
|
||||
// In these cases, the strlen is non-constant, but the __builtin_constant_p
|
||||
// is 0: the array size is not an ICE but is foldable.
|
||||
ASSERT(!OPT(test17_c)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(&test17_c[0])); // expected-warning {{folded}}
|
||||
ASSERT(!OPT((char*)test17_c)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(test17_d)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(&test17_d[0])); // expected-warning {{folded}}
|
||||
ASSERT(!OPT((char*)test17_d)); // expected-warning {{folded}}
|
||||
|
||||
#undef OPT
|
||||
#undef T
|
||||
#undef F
|
||||
}
|
||||
|
||||
void test18() {
|
||||
char src[1024];
|
||||
char dst[2048];
|
||||
size_t result;
|
||||
void *ptr;
|
||||
|
||||
ptr = __builtin___memccpy_chk(dst, src, '\037', sizeof(src), sizeof(dst));
|
||||
result = __builtin___strlcpy_chk(dst, src, sizeof(dst), sizeof(dst));
|
||||
result = __builtin___strlcat_chk(dst, src, sizeof(dst), sizeof(dst));
|
||||
|
||||
ptr = __builtin___memccpy_chk(dst, src, '\037', sizeof(src)); // expected-error {{too few arguments to function call}}
|
||||
ptr = __builtin___strlcpy_chk(dst, src, sizeof(dst), sizeof(dst)); // expected-warning {{incompatible integer to pointer conversion}}
|
||||
ptr = __builtin___strlcat_chk(dst, src, sizeof(dst), sizeof(dst)); // expected-warning {{incompatible integer to pointer conversion}}
|
||||
}
|
||||
|
||||
void no_ms_builtins() {
|
||||
__assume(1); // expected-warning {{implicit declaration}}
|
||||
__noop(1); // expected-warning {{implicit declaration}}
|
||||
__debugbreak(); // expected-warning {{implicit declaration}}
|
||||
}
|
||||
|
||||
void unavailable() {
|
||||
__builtin_operator_new(0); // expected-error {{'__builtin_operator_new' is only available in C++}}
|
||||
__builtin_operator_delete(0); // expected-error {{'__builtin_operator_delete' is only available in C++}}
|
||||
}
|
||||
|
||||
// rdar://18259539
|
||||
size_t strlcpy(char * restrict dst, const char * restrict src, size_t size);
|
||||
size_t strlcat(char * restrict dst, const char * restrict src, size_t size);
|
||||
|
||||
void Test19(void)
|
||||
{
|
||||
static char b[40];
|
||||
static char buf[20];
|
||||
|
||||
strlcpy(buf, b, sizeof(b)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} \\
|
||||
// expected-note {{change size argument to be the size of the destination}}
|
||||
__builtin___strlcpy_chk(buf, b, sizeof(b), __builtin_object_size(buf, 0)); // expected-warning {{size argument in '__builtin___strlcpy_chk' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}} \
|
||||
// expected-warning {{'__builtin___strlcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
strlcat(buf, b, sizeof(b)); // expected-warning {{size argument in 'strlcat' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}}
|
||||
|
||||
__builtin___strlcat_chk(buf, b, sizeof(b), __builtin_object_size(buf, 0)); // expected-warning {{size argument in '__builtin___strlcat_chk' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}} \
|
||||
// expected-warning {{'__builtin___strlcat_chk' will always overflow destination buffer}}
|
||||
}
|
||||
|
||||
// rdar://11076881
|
||||
char * Test20(char *p, const char *in, unsigned n)
|
||||
{
|
||||
static char buf[10];
|
||||
|
||||
__builtin___memcpy_chk (&buf[6], in, 5, __builtin_object_size (&buf[6], 0)); // expected-warning {{'__builtin___memcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
__builtin___memcpy_chk (p, "abcde", n, __builtin_object_size (p, 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[5], "abcde", 5, __builtin_object_size (&buf[5], 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[5], "abcde", n, __builtin_object_size (&buf[5], 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[6], "abcde", 5, __builtin_object_size (&buf[6], 0)); // expected-warning {{'__builtin___memcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
return buf;
|
||||
}
|
||||
|
||||
void test21(const int *ptr) {
|
||||
__sync_fetch_and_add(ptr, 1); // expected-error{{address argument to atomic builtin cannot be const-qualified ('const int *' invalid)}}
|
||||
__atomic_fetch_add(ptr, 1, 0); // expected-error {{address argument to atomic operation must be a pointer to non-const type ('const int *' invalid)}}
|
||||
}
|
||||
|
||||
void test22(void) {
|
||||
(void)__builtin_signbit(); // expected-error{{too few arguments to function call, expected 1, have 0}}
|
||||
(void)__builtin_signbit(1.0, 2.0, 3.0); // expected-error{{too many arguments to function call, expected 1, have 3}}
|
||||
(void)__builtin_signbit(1); // expected-error {{floating point classification requires argument of floating point type (passed in 'int')}}
|
||||
(void)__builtin_signbit(1.0);
|
||||
(void)__builtin_signbit(1.0f);
|
||||
(void)__builtin_signbit(1.0L);
|
||||
|
||||
(void)__builtin_signbitf(); // expected-error{{too few arguments to function call, expected 1, have 0}}
|
||||
(void)__builtin_signbitf(1.0, 2.0, 3.0); // expected-error{{too many arguments to function call, expected 1, have 3}}
|
||||
(void)__builtin_signbitf(1);
|
||||
(void)__builtin_signbitf(1.0);
|
||||
(void)__builtin_signbitf(1.0f);
|
||||
(void)__builtin_signbitf(1.0L);
|
||||
|
||||
(void)__builtin_signbitl(); // expected-error{{too few arguments to function call, expected 1, have 0}}
|
||||
(void)__builtin_signbitl(1.0, 2.0, 3.0); // expected-error{{too many arguments to function call, expected 1, have 3}}
|
||||
(void)__builtin_signbitl(1);
|
||||
(void)__builtin_signbitl(1.0);
|
||||
(void)__builtin_signbitl(1.0f);
|
||||
(void)__builtin_signbitl(1.0L);
|
||||
}
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
}
|
||||
void test9_2(volatile int* ptr, int val) {
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
}
|
||||
void test9_3(volatile int* ptr, int val) {
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
__sync_fetch_and_add(ptr, val);
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
__sync_fetch_and_add_4(ptr, val);
|
||||
}
|
||||
|
||||
void test9_4(volatile int* ptr, int val) {
|
||||
// expected-warning@+1 {{the semantics of this intrinsic changed with GCC version 4.4 - the newer semantics are provided here}}
|
||||
__sync_fetch_and_nand(ptr, val);
|
||||
}
|
||||
|
||||
// rdar://7236819
|
||||
void test10(void) __attribute__((noreturn));
|
||||
|
||||
void test10(void) {
|
||||
__asm__("int3");
|
||||
__builtin_unreachable();
|
||||
|
||||
// No warning about falling off the end of a noreturn function.
|
||||
}
|
||||
|
||||
void test11(int X) {
|
||||
switch (X) {
|
||||
case __builtin_eh_return_data_regno(0): // constant foldable.
|
||||
break;
|
||||
}
|
||||
|
||||
__builtin_eh_return_data_regno(X); // expected-error {{argument to '__builtin_eh_return_data_regno' must be a constant integer}}
|
||||
}
|
||||
|
||||
// PR5062
|
||||
void test12(void) __attribute__((__noreturn__));
|
||||
void test12(void) {
|
||||
__builtin_trap(); // no warning because trap is noreturn.
|
||||
}
|
||||
|
||||
void test_unknown_builtin(int a, int b) {
|
||||
__builtin_isles(a, b); // expected-error{{use of unknown builtin}} \
|
||||
// expected-note{{did you mean '__builtin_isless'?}}
|
||||
}
|
||||
|
||||
int test13() {
|
||||
__builtin_eh_return(0, 0); // no warning, eh_return never returns.
|
||||
}
|
||||
|
||||
// <rdar://problem/8228293>
|
||||
void test14() {
|
||||
int old;
|
||||
old = __sync_fetch_and_min((volatile int *)&old, 1);
|
||||
}
|
||||
|
||||
// <rdar://problem/8336581>
|
||||
void test15(const char *s) {
|
||||
__builtin_printf("string is %s\n", s);
|
||||
}
|
||||
|
||||
// PR7885
|
||||
int test16() {
|
||||
return __builtin_constant_p() + // expected-error{{too few arguments}}
|
||||
__builtin_constant_p(1, 2); // expected-error {{too many arguments}}
|
||||
}
|
||||
|
||||
const int test17_n = 0;
|
||||
const char test17_c[] = {1, 2, 3, 0};
|
||||
const char test17_d[] = {1, 2, 3, 4};
|
||||
typedef int __attribute__((vector_size(16))) IntVector;
|
||||
struct Aggregate { int n; char c; };
|
||||
enum Enum { EnumValue1, EnumValue2 };
|
||||
|
||||
typedef __typeof(sizeof(int)) size_t;
|
||||
size_t strlen(const char *);
|
||||
|
||||
void test17() {
|
||||
#define ASSERT(...) { int arr[(__VA_ARGS__) ? 1 : -1]; }
|
||||
#define T(...) ASSERT(__builtin_constant_p(__VA_ARGS__))
|
||||
#define F(...) ASSERT(!__builtin_constant_p(__VA_ARGS__))
|
||||
|
||||
// __builtin_constant_p returns 1 if the argument folds to:
|
||||
// - an arithmetic constant with value which is known at compile time
|
||||
T(test17_n);
|
||||
T(&test17_c[3] - test17_c);
|
||||
T(3i + 5); // expected-warning {{imaginary constant}}
|
||||
T(4.2 * 7.6);
|
||||
T(EnumValue1);
|
||||
T((enum Enum)(int)EnumValue2);
|
||||
|
||||
// - the address of the first character of a string literal, losslessly cast
|
||||
// to any type
|
||||
T("string literal");
|
||||
T((double*)"string literal");
|
||||
T("string literal" + 0);
|
||||
T((long)"string literal");
|
||||
|
||||
// ... and otherwise returns 0.
|
||||
F("string literal" + 1);
|
||||
F(&test17_n);
|
||||
F(test17_c);
|
||||
F(&test17_c);
|
||||
F(&test17_d);
|
||||
F((struct Aggregate){0, 1});
|
||||
F((IntVector){0, 1, 2, 3});
|
||||
|
||||
// Ensure that a technique used in glibc is handled correctly.
|
||||
#define OPT(...) (__builtin_constant_p(__VA_ARGS__) && strlen(__VA_ARGS__) < 4)
|
||||
// FIXME: These are incorrectly treated as ICEs because strlen is treated as
|
||||
// a builtin.
|
||||
ASSERT(OPT("abc"));
|
||||
ASSERT(!OPT("abcd"));
|
||||
// In these cases, the strlen is non-constant, but the __builtin_constant_p
|
||||
// is 0: the array size is not an ICE but is foldable.
|
||||
ASSERT(!OPT(test17_c)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(&test17_c[0])); // expected-warning {{folded}}
|
||||
ASSERT(!OPT((char*)test17_c)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(test17_d)); // expected-warning {{folded}}
|
||||
ASSERT(!OPT(&test17_d[0])); // expected-warning {{folded}}
|
||||
ASSERT(!OPT((char*)test17_d)); // expected-warning {{folded}}
|
||||
|
||||
#undef OPT
|
||||
#undef T
|
||||
#undef F
|
||||
}
|
||||
|
||||
void test18() {
|
||||
char src[1024];
|
||||
char dst[2048];
|
||||
size_t result;
|
||||
void *ptr;
|
||||
|
||||
ptr = __builtin___memccpy_chk(dst, src, '\037', sizeof(src), sizeof(dst));
|
||||
result = __builtin___strlcpy_chk(dst, src, sizeof(dst), sizeof(dst));
|
||||
result = __builtin___strlcat_chk(dst, src, sizeof(dst), sizeof(dst));
|
||||
|
||||
ptr = __builtin___memccpy_chk(dst, src, '\037', sizeof(src)); // expected-error {{too few arguments to function call}}
|
||||
ptr = __builtin___strlcpy_chk(dst, src, sizeof(dst), sizeof(dst)); // expected-warning {{incompatible integer to pointer conversion}}
|
||||
ptr = __builtin___strlcat_chk(dst, src, sizeof(dst), sizeof(dst)); // expected-warning {{incompatible integer to pointer conversion}}
|
||||
}
|
||||
|
||||
void no_ms_builtins() {
|
||||
__assume(1); // expected-warning {{implicit declaration}}
|
||||
__noop(1); // expected-warning {{implicit declaration}}
|
||||
__debugbreak(); // expected-warning {{implicit declaration}}
|
||||
}
|
||||
|
||||
void unavailable() {
|
||||
__builtin_operator_new(0); // expected-error {{'__builtin_operator_new' is only available in C++}}
|
||||
__builtin_operator_delete(0); // expected-error {{'__builtin_operator_delete' is only available in C++}}
|
||||
}
|
||||
|
||||
// rdar://18259539
|
||||
size_t strlcpy(char * restrict dst, const char * restrict src, size_t size);
|
||||
size_t strlcat(char * restrict dst, const char * restrict src, size_t size);
|
||||
|
||||
void Test19(void)
|
||||
{
|
||||
static char b[40];
|
||||
static char buf[20];
|
||||
|
||||
strlcpy(buf, b, sizeof(b)); // expected-warning {{size argument in 'strlcpy' call appears to be size of the source; expected the size of the destination}} \\
|
||||
// expected-note {{change size argument to be the size of the destination}}
|
||||
__builtin___strlcpy_chk(buf, b, sizeof(b), __builtin_object_size(buf, 0)); // expected-warning {{size argument in '__builtin___strlcpy_chk' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}} \
|
||||
// expected-warning {{'__builtin___strlcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
strlcat(buf, b, sizeof(b)); // expected-warning {{size argument in 'strlcat' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}}
|
||||
|
||||
__builtin___strlcat_chk(buf, b, sizeof(b), __builtin_object_size(buf, 0)); // expected-warning {{size argument in '__builtin___strlcat_chk' call appears to be size of the source; expected the size of the destination}} \
|
||||
// expected-note {{change size argument to be the size of the destination}} \
|
||||
// expected-warning {{'__builtin___strlcat_chk' will always overflow destination buffer}}
|
||||
}
|
||||
|
||||
// rdar://11076881
|
||||
char * Test20(char *p, const char *in, unsigned n)
|
||||
{
|
||||
static char buf[10];
|
||||
|
||||
__builtin___memcpy_chk (&buf[6], in, 5, __builtin_object_size (&buf[6], 0)); // expected-warning {{'__builtin___memcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
__builtin___memcpy_chk (p, "abcde", n, __builtin_object_size (p, 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[5], "abcde", 5, __builtin_object_size (&buf[5], 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[5], "abcde", n, __builtin_object_size (&buf[5], 0));
|
||||
|
||||
__builtin___memcpy_chk (&buf[6], "abcde", 5, __builtin_object_size (&buf[6], 0)); // expected-warning {{'__builtin___memcpy_chk' will always overflow destination buffer}}
|
||||
|
||||
return buf;
|
||||
}
|
||||
|
||||
void test21(const int *ptr) {
|
||||
__sync_fetch_and_add(ptr, 1); // expected-error{{address argument to atomic builtin cannot be const-qualified ('const int *' invalid)}}
|
||||
__atomic_fetch_add(ptr, 1, 0); // expected-error {{address argument to atomic operation must be a pointer to non-const type ('const int *' invalid)}}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue