validation/context-dynamic.c

   1 static void a(void) __attribute__ ((context(A, 0, 1)))
   2 {
   3     __context__(A, 1);
   4 }
   5
   6 static void r(void) __attribute__ ((context(A, 1, 0)))
   7 {
   8     __context__(A, -1);
   9 }
  10
  11 extern int condition, condition2;
  12
  13 static int tl(void) __attribute__ ((conditional_context(A, 0, 1, 0)))
  14 {
  15     if (condition) {
  16         a();
  17         return 1;
  18     }
  19     return 0;
  20 }
  21
  22 static int tl2(void) __attribute__ ((conditional_context(A, 0, 0, 1)))
  23 {
  24     if (condition) {
  25         a();
  26         return 1;
  27     }
  28     return 0;
  29 }
  30
  31 static int dummy(void)
  32 {
  33     return condition + condition2;
  34 }
  35
  36 static int good_trylock1(void)
  37 {
  38     if (tl()) {
  39         r();
  40     }
  41 }
  42
  43 static int good_trylock2(void)
  44 {
  45     if (tl()) {
  46         r();
  47     }
  48
  49     if (tl()) {
  50         r();
  51     }
  52 }
  53 static int good_trylock3(void)
  54 {
  55     a();
  56     if (tl()) {
  57         r();
  58     }
  59     r();
  60     if (tl()) {
  61         r();
  62     }
  63 }
  64
  65 static int good_trylock4(void)
  66 {
  67     a();
  68     if (tl()) {
  69         r();
  70     }
  71     if (tl()) {
  72         r();
  73     }
  74     r();
  75 }
  76
  77 static void bad_trylock1(void)
  78 {
  79     a();
  80     if (dummy()) {
  81         r();
  82     }
  83     r();
  84 }
  85
  86 static int good_trylock5(void)
  87 {
  88     if (!tl2()) {
  89         r();
  90     }
  91 }
  92
  93 static int good_trylock6(void)
  94 {
  95     if (!tl2()) {
  96         r();
  97     }
  98
  99     if (!tl2()) {
 100         r();
 101     }
 102 }
 103 static int good_trylock7(void)
 104 {
 105     a();
 106     if (!tl2()) {
 107         r();
 108     }
 109     r();
 110     if (!tl2()) {
 111         r();
 112     }
 113 }
 114
 115 static int good_trylock8(void)
 116 {
 117     a();
 118     if (!tl2()) {
 119         r();
 120     }
 121     if (!tl2()) {
 122         r();
 123     }
 124     r();
 125 }
 126
 127 static void bad_trylock2(void)
 128 {
 129     a();
 130     if (!dummy()) {
 131         r();
 132     }
 133     r();
 134 }
 135
 136 static int good_switch(void)
 137 {
 138     switch (condition) {
 139     case 1:
 140         a();
 141         break;
 142     case 2:
 143         a();
 144         break;
 145     case 3:
 146         a();
 147         break;
 148     default:
 149         a();
 150     }
 151     r();
 152 }
 153
 154 static void bad_lock1(void)
 155 {
 156     r();
 157     a();
 158 }
 159
 160 /*
 161  * check-name: Check -Wcontext with lock trylocks
 162  *
 163  * check-error-start
 164 context-dynamic.c:83:6: warning: context problem in 'bad_trylock1': 'r' expected different context
 165 context-dynamic.c:83:6:    context 'A': wanted >= 1, got 0
 166 context-dynamic.c:133:6: warning: context problem in 'bad_trylock2': 'r' expected different context
 167 context-dynamic.c:133:6:    context 'A': wanted >= 1, got 0
 168 context-dynamic.c:156:6: warning: context problem in 'bad_lock1': 'r' expected different context
 169 context-dynamic.c:156:6:    context 'A': wanted >= 1, got 0
 170  * check-error-end
 171  */