• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic -triple=i686-apple-darwin9
2 // This test needs to set the target because it uses __builtin_ia32_vec_ext_v4si
3 
test1(float a,int b)4 int test1(float a, int b) {
5   return __builtin_isless(a, b);
6 }
test2(int a,int b)7 int test2(int a, int b) {
8   return __builtin_islessequal(a, b);  // expected-error {{floating point type}}
9 }
10 
test3(double a,float b)11 int test3(double a, float b) {
12   return __builtin_isless(a, b);
13 }
test4(int * a,double b)14 int test4(int* a, double b) {
15   return __builtin_islessequal(a, b);  // expected-error {{floating point type}}
16 }
17 
test5(float a,long double b)18 int test5(float a, long double b) {
19   return __builtin_isless(a, b, b);  // expected-error {{too many arguments}}
20 }
test6(float a,long double b)21 int test6(float a, long double b) {
22   return __builtin_islessequal(a);  // expected-error {{too few arguments}}
23 }
24 
25 
26 #define CFSTR __builtin___CFStringMakeConstantString
test7()27 void test7() {
28   const void *X;
29   X = CFSTR("\242"); // expected-warning {{input conversion stopped}}
30   X = CFSTR("\0"); // no-warning
31   X = CFSTR(242); // expected-error {{ CFString literal is not a string constant }} expected-warning {{incompatible integer to pointer conversion}}
32   X = CFSTR("foo", "bar"); // expected-error {{too many arguments to function call}}
33 }
34 
35 
36 // atomics.
37 
test9(short v)38 void test9(short v) {
39   unsigned i, old;
40 
41   old = __sync_fetch_and_add();  // expected-error {{too few arguments to function call}}
42   old = __sync_fetch_and_add(&old);  // expected-error {{too few arguments to function call}}
43   old = __sync_fetch_and_add((unsigned*)0, 42i); // expected-warning {{imaginary constants are an extension}}
44 
45   // PR7600: Pointers are implicitly casted to integers and back.
46   void *old_ptr = __sync_val_compare_and_swap((void**)0, 0, 0);
47 
48   // Ensure the return type is correct even when implicit casts are stripped
49   // away. This triggers an assertion while checking the comparison otherwise.
50   if (__sync_fetch_and_add(&old, 1) == 1) {
51   }
52 }
53 
54 
55 // rdar://7236819
56 void test10(void) __attribute__((noreturn));
57 
test10(void)58 void test10(void) {
59   __asm__("int3");
60   __builtin_unreachable();
61 
62   // No warning about falling off the end of a noreturn function.
63 }
64 
test11(int X)65 void test11(int X) {
66   switch (X) {
67   case __builtin_eh_return_data_regno(0):  // constant foldable.
68     break;
69   }
70 
71   __builtin_eh_return_data_regno(X);  // expected-error {{argument to '__builtin_eh_return_data_regno' must be a constant integer}}
72 }
73 
74 // PR5062
75 void test12(void) __attribute__((__noreturn__));
test12(void)76 void test12(void) {
77   __builtin_trap();  // no warning because trap is noreturn.
78 }
79 
test_unknown_builtin(int a,int b)80 void test_unknown_builtin(int a, int b) {
81   __builtin_foo(a, b); // expected-error{{use of unknown builtin}}
82 }
83 
test13()84 int test13() {
85   __builtin_eh_return(0, 0); // no warning, eh_return never returns.
86 }
87 
88 // <rdar://problem/8228293>
test14()89 void test14() {
90   int old;
91   old = __sync_fetch_and_min((volatile int *)&old, 1);
92 }
93 
94 // <rdar://problem/8336581>
test15(const char * s)95 void test15(const char *s) {
96   __builtin_printf("string is %s\n", s);
97 }
98 
99 // PR7885
test16()100 int test16() {
101   return __builtin_constant_p() + // expected-error{{too few arguments}}
102          __builtin_constant_p(1, 2); // expected-error {{too many arguments}}
103 }
104 
105