1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 | // RUN: %clang_cc1 -std=c++03 -fblocks -triple x86_64-windows-msvc -fms-extensions -fsyntax-only -fexceptions -fcxx-exceptions -verify %s // RUN: %clang_cc1 -std=c++11 -fblocks -triple x86_64-windows-msvc -fms-extensions -fsyntax-only -fexceptions -fcxx-exceptions -verify %s // Basic usage should work. int safe_div(int n, int d) { int r; __try { r = n / d; } __except(_exception_code() == 0xC0000094) { r = 0; } return r; } void might_crash(); // Diagnose obvious builtin mis-usage. void bad_builtin_scope() { __try { might_crash(); } __except(1) { } _exception_code(); // expected-error {{'_exception_code' only allowed in __except block or filter expression}} _exception_info(); // expected-error {{'_exception_info' only allowed in __except filter expression}} } // Diagnose obvious builtin misusage in a template. template <void FN()> void bad_builtin_scope_template() { __try { FN(); } __except(1) { } _exception_code(); // expected-error {{'_exception_code' only allowed in __except block or filter expression}} _exception_info(); // expected-error {{'_exception_info' only allowed in __except filter expression}} } void instantiate_bad_scope_tmpl() { bad_builtin_scope_template<might_crash>(); } #if __cplusplus < 201103L // FIXME: Diagnose this case. For now we produce undef in codegen. template <typename T, T FN()> T func_template() { return FN(); } void inject_builtins() { func_template<void *, __exception_info>(); func_template<unsigned long, __exception_code>(); } #endif void use_seh_after_cxx() { try { // expected-note {{conflicting 'try' here}} might_crash(); } catch (int) { } __try { // expected-error {{cannot use C++ 'try' in the same function as SEH '__try'}} might_crash(); } __except(1) { } } void use_cxx_after_seh() { __try { // expected-note {{conflicting '__try' here}} might_crash(); } __except(1) { } try { // expected-error {{cannot use C++ 'try' in the same function as SEH '__try'}} might_crash(); } catch (int) { } } #if __cplusplus >= 201103L void use_seh_in_lambda() { ([]() { __try { might_crash(); } __except(1) { } })(); try { might_crash(); } catch (int) { } } #endif void use_seh_in_block() { void (^b)() = ^{ __try { // expected-error {{cannot use SEH '__try' in blocks, captured regions, or Obj-C method decls}} might_crash(); } __except(1) { } }; try { b(); } catch (int) { } } void (^use_seh_in_global_block)() = ^{ __try { // expected-error {{cannot use SEH '__try' in blocks, captured regions, or Obj-C method decls}} might_crash(); } __except(1) { } }; void (^use_cxx_in_global_block)() = ^{ try { might_crash(); } catch(int) { } }; |