builtins.c revision d201457cc781f1b13d0f4b1268ff934e6004cbff 
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
4int test1(float a, int b) {
5  return __builtin_isless(a, b);
6}
7int test2(int a, int b) {
8  return __builtin_islessequal(a, b);  // expected-error {{floating point type}}
9}
10
11int test3(double a, float b) {
12  return __builtin_isless(a, b);
13}
14int test4(int* a, double b) {
15  return __builtin_islessequal(a, b);  // expected-error {{floating point type}}
16}
17
18int test5(float a, long double b) {
19  return __builtin_isless(a, b, b);  // expected-error {{too many arguments}}
20}
21int test6(float a, long double b) {
22  return __builtin_islessequal(a);  // expected-error {{too few arguments}}
23}
24
25
26#define CFSTR __builtin___CFStringMakeConstantString
27void test7() {
28  const void *X;
29  X = CFSTR("\242");
30  X = CFSTR("\0"); // expected-warning {{ CFString literal contains NUL character }}
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
38void 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
49
50// rdar://7236819
51void test10(void) __attribute__((noreturn));
52
53void test10(void) {
54  __asm__("int3");
55  __builtin_unreachable();
56
57  // No warning about falling off the end of a noreturn function.
58}
59
60void test11(int X) {
61  switch (X) {
62  case __builtin_eh_return_data_regno(0):  // constant foldable.
63    break;
64  }
65
66  __builtin_eh_return_data_regno(X);  // expected-error {{argument to '__builtin_eh_return_data_regno' must be a constant integer}}
67}
68
69// PR5062
70void test12(void) __attribute__((__noreturn__));
71void test12(void) {
72  __builtin_trap();  // no warning because trap is noreturn.
73}
74
75void test_unknown_builtin(int a, int b) {
76  __builtin_foo(a, b); // expected-error{{use of unknown builtin}}
77}
78