Clang Project

clang_source_code/test/Sema/builtin-dump-struct.c
1// RUN: %clang_cc1 -triple i386-unknown-unknown -fsyntax-only -fno-spell-checking -verify %s
2
3void invalid_uses() {
4  struct A {
5  };
6  struct A a;
7  void *b;
8  int (*goodfunc)(const char *, ...);
9  int (*badfunc1)(const char *);
10  int (*badfunc2)(int, ...);
11  void (*badfunc3)(const char *, ...);
12  int (*badfunc4)(char *, ...);
13  int (*badfunc5)(void);
14
15  __builtin_dump_struct();             // expected-error {{too few arguments to function call, expected 2, have 0}}
16  __builtin_dump_struct(1);            // expected-error {{too few arguments to function call, expected 2, have 1}}
17  __builtin_dump_struct(1, 2);         // expected-error {{passing 'int' to parameter of incompatible type structure pointer: type mismatch at 1st parameter ('int' vs structure pointer)}}
18  __builtin_dump_struct(&a, 2);        // expected-error {{passing 'int' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('int' vs 'int (*)(const char *, ...)')}}
19  __builtin_dump_struct(b, goodfunc); // expected-error {{passing 'void *' to parameter of incompatible type structure pointer: type mismatch at 1st parameter ('void *' vs structure pointer)}}
20  __builtin_dump_struct(&a, badfunc1); // expected-error {{passing 'int (*)(const char *)' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('int (*)(const char *)' vs 'int (*)(const char *, ...)')}}
21  __builtin_dump_struct(&a, badfunc2); // expected-error {{passing 'int (*)(int, ...)' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('int (*)(int, ...)' vs 'int (*)(const char *, ...)')}}
22  __builtin_dump_struct(&a, badfunc3); // expected-error {{passing 'void (*)(const char *, ...)' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('void (*)(const char *, ...)' vs 'int (*)(const char *, ...)')}}
23  __builtin_dump_struct(&a, badfunc4); // expected-error {{passing 'int (*)(char *, ...)' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('int (*)(char *, ...)' vs 'int (*)(const char *, ...)')}}
24  __builtin_dump_struct(&a, badfunc5); // expected-error {{passing 'int (*)(void)' to parameter of incompatible type 'int (*)(const char *, ...)': type mismatch at 2nd parameter ('int (*)(void)' vs 'int (*)(const char *, ...)')}}
25  __builtin_dump_struct(a, goodfunc);  // expected-error {{passing 'struct A' to parameter of incompatible type structure pointer: type mismatch at 1st parameter ('struct A' vs structure pointer)}}
26}
27
28void valid_uses() {
29  struct A {
30  };
31  union B {
32  };
33
34  int (*goodfunc)(const char *, ...);
35  int (*goodfunc2)();
36  struct A a;
37  union B b;
38
39  __builtin_dump_struct(&a, goodfunc);
40  __builtin_dump_struct(&b, goodfunc);
41  __builtin_dump_struct(&a, goodfunc2);
42}
43