1// RUN: %clang_cc1 -triple i386-mingw32 -fsyntax-only -Wno-missing-declarations -verify -fms-extensions %s 2__stdcall int func0(void); 3int __stdcall func(void); 4typedef int (__cdecl *tptr)(void); 5void (*__fastcall fastpfunc)(void); 6extern __declspec(dllimport) void __stdcall VarR4FromDec(void); 7__declspec(deprecated) __declspec(deprecated) char * __cdecl ltoa( long _Val, char * _DstBuf, int _Radix); 8__declspec(safebuffers) __declspec(noalias) __declspec(restrict) void * __cdecl xxx(void *_Memory); /* expected-warning{{__declspec attribute 'safebuffers' is not supported}} */ 9typedef __w64 unsigned long ULONG_PTR, *PULONG_PTR; 10 11void * __ptr64 PtrToPtr64(const void *p) { 12 return((void * __ptr64) (unsigned __int64) (ULONG_PTR)p ); 13} 14 15void * __ptr32 PtrToPtr32(const void *p) { 16 return((void * __ptr32) (unsigned __int32) (ULONG_PTR)p ); 17} 18 19/* Both inline and __forceinline is OK. */ 20inline void __forceinline pr8264(void) {} 21__forceinline void inline pr8264_1(void) {} 22void inline __forceinline pr8264_2(void) {} 23void __forceinline inline pr8264_3(void) {} 24/* But duplicate __forceinline causes warning. */ 25void __forceinline __forceinline pr8264_4(void) { /* expected-warning{{duplicate '__forceinline' declaration specifier}} */ 26} 27 28_inline int foo99(void) { return 99; } 29 30void test_ms_alignof_alias(void) { 31 unsigned int s = _alignof(int); 32 s = __builtin_alignof(int); 33} 34 35/* Charify extension. */ 36#define FOO(x) #@x 37char x = FOO(a); 38#define HASHAT #@ 39#define MISSING_ARG(x) #@ 40/* expected-error@-1 {{'#@' is not followed by a macro parameter}} */ 41 42typedef enum E { e1 }; 43 44enum __declspec(deprecated) E2 { i, j, k }; /* expected-note {{'E2' has been explicitly marked deprecated here}} */ 45__declspec(deprecated) enum E3 { a, b, c } e; /* expected-note {{'e' has been explicitly marked deprecated here}} */ 46 47void deprecated_enum_test(void) { 48 /* Test to make sure the deprecated warning follows the right thing */ 49 enum E2 e1; /* expected-warning {{'E2' is deprecated}} */ 50 enum E3 e2; /* No warning expected, the deprecation follows the variable */ 51 enum E3 e3 = e; /* expected-warning {{'e' is deprecated}} */ 52} 53 54/* Microsoft attribute tests */ 55[returnvalue:SA_Post( attr=1)] 56int foo1([SA_Post(attr=1)] void *param); 57 58[unbalanced(attribute) /* expected-note {{to match this '['}} */ 59void f(void); /* expected-error {{expected ']'}} */ 60 61void ms_intrinsics(int a) { 62 __noop(); 63 __assume(a); 64 __debugbreak(); 65} 66 67struct __declspec(frobble) S1 {}; /* expected-warning {{__declspec attribute 'frobble' is not supported}} */ 68struct __declspec(12) S2 {}; /* expected-error {{__declspec attributes must be an identifier or string literal}} */ 69struct __declspec("testing") S3 {}; /* expected-warning {{__declspec attribute '"testing"' is not supported}} */ 70 71/* declspecs with arguments cannot have an empty argument list, even if the 72 arguments are optional. */ 73__declspec(deprecated()) void dep_func_test(void); /* expected-error {{parentheses must be omitted if 'deprecated' attribute's argument list is empty}} */ 74__declspec(deprecated) void dep_func_test2(void); 75__declspec(deprecated("")) void dep_func_test3(void); 76 77/* Ensure multiple declspec attributes are supported */ 78struct __declspec(align(8) deprecated) S4 {}; 79 80/* But multiple declspecs must still be legal */ 81struct __declspec(deprecated frobble "testing") S5 {}; /* expected-warning {{__declspec attribute 'frobble' is not supported}} expected-warning {{__declspec attribute '"testing"' is not supported}} */ 82struct __declspec(unknown(12) deprecated) S6 {}; /* expected-warning {{__declspec attribute 'unknown' is not supported}}*/ 83 84int * __sptr psp; 85int * __uptr pup; 86/* Either ordering is acceptable */ 87int * __ptr32 __sptr psp32; 88int * __ptr32 __uptr pup32; 89int * __sptr __ptr64 psp64; 90int * __uptr __ptr64 pup64; 91 92/* Legal to have nested pointer attributes */ 93int * __sptr * __ptr32 ppsp32; 94 95// Ignored type qualifiers after comma in declarator lists 96typedef int ignored_quals_dummy1, const volatile __ptr32 __ptr64 __w64 __unaligned __sptr __uptr ignored_quals1; // expected-warning {{qualifiers after comma in declarator list are ignored}} 97typedef void(*ignored_quals_dummy2)(), __fastcall ignored_quals2; // expected-warning {{qualifiers after comma in declarator list are ignored}} 98typedef void(*ignored_quals_dummy3)(), __stdcall ignored_quals3; // expected-warning {{qualifiers after comma in declarator list are ignored}} 99typedef void(*ignored_quals_dummy4)(), __thiscall ignored_quals4; // expected-warning {{qualifiers after comma in declarator list are ignored}} 100typedef void(*ignored_quals_dummy5)(), __cdecl ignored_quals5; // expected-warning {{qualifiers after comma in declarator list are ignored}} 101typedef void(*ignored_quals_dummy6)(), __vectorcall ignored_quals6; // expected-warning {{qualifiers after comma in declarator list are ignored}} 102 103__declspec(align(16)) struct align_before_key1 {}; 104__declspec(align(16)) struct align_before_key2 {} align_before_key2_var; 105__declspec(align(16)) struct align_before_key3 {} *align_before_key3_var; 106_Static_assert(__alignof(struct align_before_key1) == 16, ""); 107_Static_assert(__alignof(struct align_before_key2) == 16, ""); 108_Static_assert(__alignof(struct align_before_key3) == 16, ""); 109