clang/test/Parser/ms-if-exists.cpp

   1 // RUN: %clang_cc1 %s -std=c++11 -fsyntax-only -Wmicrosoft -verify -fms-extensions
   2
   3 class MayExist {
   4 private:
   5   typedef int Type;
   6 };
   7
   8 void test_if_exists_stmts() {
   9   int b = 0;
  10   __if_exists(MayExist::Type) {
  11     b++;
  12     b++;
  13   }
  14   __if_exists(MayExist::Type_not) {
  15     this will not compile.
  16   }
  17   __if_not_exists(MayExist::Type) {
  18     this will not compile.
  19   }
  20   __if_not_exists(MayExist::Type_not) {
  21     b++;
  22     b++;
  23   }
  24 }
  25
  26 int if_exists_creates_no_scope() {
  27   __if_exists(MayExist::Type) {
  28     int x;  // 'x' is declared in the parent scope.
  29   }
  30   __if_not_exists(MayExist::Type_not) {
  31     x++;
  32   }
  33   return x;
  34 }
  35
  36 __if_exists(MayExist::Type) {
  37   int var23;
  38 }
  39
  40 __if_exists(MayExist::Type_not) {
  41   this will not compile.
  42 }
  43
  44 __if_not_exists(MayExist::Type) {
  45   this will not compile.
  46 }
  47
  48 __if_not_exists(MayExist::Type_not) {
  49   int var244;
  50 }
  51
  52 void test_if_exists_init_list() {
  53
  54   int array1[] = {
  55     0,
  56     __if_exists(MayExist::Type) {2, }
  57     3
  58   };
  59
  60   int array2[] = {
  61     0,
  62     __if_exists(MayExist::Type_not) { this will not compile }
  63     3
  64   };
  65
  66   int array3[] = {
  67     0,
  68     __if_not_exists(MayExist::Type_not) {2, }
  69     3
  70   };
  71
  72   int array4[] = {
  73     0,
  74     __if_not_exists(MayExist::Type) { this will not compile }
  75     3
  76   };
  77
  78 }
  79
  80
  81 class IfExistsClassScope {
  82   __if_exists(MayExist::Type) {
  83     // __if_exists, __if_not_exists can nest
  84     __if_not_exists(MayExist::Type_not) {
  85       int var123;
  86     }
  87     int var23;
  88   }
  89
  90   __if_exists(MayExist::Type_not) {
  91    this will not compile.
  92   }
  93
  94   __if_not_exists(MayExist::Type) {
  95    this will not compile.
  96   }
  97
  98   __if_not_exists(MayExist::Type_not) {
  99     int var244;
 100   }
 101 };
 102
 103 void test_nested_if_exists() {
 104   __if_exists(MayExist::Type) {
 105     int x = 42;
 106     __if_not_exists(MayExist::Type_not) {
 107       x++;
 108     }
 109   }
 110 }
 111
 112 void test_attribute_on_if_exists() {
 113   [[clang::fallthrough]] // expected-error {{an attribute list cannot appear here}}
 114   __if_exists(MayExist::Type) {
 115     int x;
 116   }
 117 }