1 // RUN: %clang_cc1 -fborland-extensions -fsyntax-only -verify %s 2 3 #define JOIN2(x,y) x ## y 4 #define JOIN(x,y) JOIN2(x,y) 5 #define TEST2(name) JOIN(name,__LINE__) 6 #define TEST TEST2(test) 7 typedef int DWORD; 8 9 #pragma sysheader begin 10 11 struct EXCEPTION_INFO{}; 12 13 int __exception_code(); 14 struct EXCEPTION_INFO* __exception_info(); 15 void __abnormal_termination(); 16 17 #define GetExceptionCode __exception_code 18 #define GetExceptionInformation __exception_info 19 #define AbnormalTermination __abnormal_termination 20 21 #pragma sysheader end 22 23 DWORD FilterExpression(int); // expected-note{{declared here}} 24 DWORD FilterExceptionInformation(struct EXCEPTION_INFO*); 25 26 const char * NotFilterExpression(); 27 28 void TEST() { 29 __try { 30 __try { 31 __try { 32 } 33 __finally{ 34 } 35 } 36 __finally{ 37 } 38 } 39 __finally{ 40 } 41 } 42 43 void TEST() { 44 __try { 45 46 } 47 } // expected-error{{expected '__except' or '__finally' block}} 48 49 void TEST() { 50 __except ( FilterExpression() ) { // expected-warning{{implicit declaration of function '__except' is invalid in C99}} \ 51 // expected-error{{too few arguments to function call, expected 1, have 0}} 52 53 } 54 } 55 56 void TEST() { 57 __finally { } // expected-error{{}} 58 } 59 60 void TEST() { 61 __try{ 62 int try_scope = 0; 63 } // TODO: expected expression is an extra error 64 __except( try_scope ? 1 : -1 ) // expected-error{{undeclared identifier 'try_scope'}} expected-error{{expected expression}} 65 {} 66 } 67 68 void TEST() { 69 __try { 70 71 } 72 // TODO: Why are there two errors? 73 __except( ) { // expected-error{{expected expression}} expected-error{{expected expression}} 74 } 75 } 76 77 void TEST() { 78 __try { 79 80 } 81 __except ( FilterExpression(GetExceptionCode()) ) { 82 83 } 84 85 __try { 86 87 } 88 __except( FilterExpression(__exception_code()) ) { 89 90 } 91 92 __try { 93 94 } 95 __except( FilterExceptionInformation(__exception_info()) ) { 96 97 } 98 99 __try { 100 101 } 102 __except(FilterExceptionInformation( GetExceptionInformation() ) ) { 103 104 } 105 } 106 107 void TEST() { 108 __try { 109 110 } 111 __except ( NotFilterExpression() ) { // expected-error{{filter expression type should be an integral value not 'const char *'}} 112 113 } 114 } 115 116 void TEST() { 117 int function_scope = 0; 118 __try { 119 int try_scope = 0; 120 } 121 __except ( FilterExpression(GetExceptionCode()) ) { 122 (void)function_scope; 123 (void)try_scope; // expected-error{{undeclared identifier}} 124 } 125 } 126 127 void TEST() { 128 int function_scope = 0; 129 __try { 130 int try_scope = 0; 131 } 132 __finally { 133 (void)function_scope; 134 (void)try_scope; // expected-error{{undeclared identifier}} 135 } 136 } 137 138 void TEST() { 139 int function_scope = 0; 140 __try { 141 142 } 143 __except( function_scope ? 1 : -1 ) {} 144 } 145 146 void TEST() { 147 __try { 148 (void)AbnormalTermination; // expected-error{{only allowed in __finally block}} 149 (void)__abnormal_termination; // expected-error{{only allowed in __finally block}} 150 } 151 __except( 1 ) { 152 (void)AbnormalTermination; // expected-error{{only allowed in __finally block}} 153 (void)__abnormal_termination; // expected-error{{only allowed in __finally block}} 154 } 155 156 __try { 157 } 158 __finally { 159 AbnormalTermination(); 160 __abnormal_termination(); 161 } 162 } 163 164 void TEST() { 165 (void)__exception_code; // expected-error{{only allowed in __except block}} 166 (void)__exception_info; // expected-error{{only allowed in __except filter expression}} 167 (void)__abnormal_termination; // expected-error{{only allowed in __finally block}} 168 169 (void)GetExceptionCode(); // expected-error{{only allowed in __except block}} 170 (void)GetExceptionInformation(); // expected-error{{only allowed in __except filter expression}} 171 (void)AbnormalTermination(); // expected-error{{only allowed in __finally block}} 172 } 173