validation/context.c

   1 void a(void) __attribute__((context(0,1)))
   2 {
   3         __context__(1);
   4 }
   5
   6 void r(void) __attribute__((context(1,0)))
   7 {
   8         __context__(-1);
   9 }
  10
  11 void good_paired1(void)
  12 {
  13         a();
  14         r();
  15 }
  16
  17 void good_paired2(void)
  18 {
  19         a();
  20         r();
  21         a();
  22         r();
  23 }
  24
  25 void good_paired3(void)
  26 {
  27         a();
  28         a();
  29         r();
  30         r();
  31 }
  32
  33 void good_lock1(void) __attribute__((context(0,1)))
  34 {
  35         a();
  36 }
  37
  38 void good_lock2(void) __attribute__((context(0,1)))
  39 {
  40         a();
  41         r();
  42         a();
  43 }
  44
  45 void good_lock3(void) __attribute__((context(0,1)))
  46 {
  47         a();
  48         a();
  49         r();
  50 }
  51
  52 void good_unlock1(void) __attribute__((context(1,0)))
  53 {
  54         r();
  55 }
  56
  57 void good_unlock2(void) __attribute__((context(1,0)))
  58 {
  59         a();
  60         r();
  61         r();
  62 }
  63
  64 void warn_lock1(void)
  65 {
  66         a();
  67 }
  68
  69 void warn_lock2(void)
  70 {
  71         a();
  72         r();
  73         a();
  74 }
  75
  76 void warn_lock3(void)
  77 {
  78         a();
  79         a();
  80         r();
  81 }
  82
  83 void warn_unlock1(void)
  84 {
  85         r();
  86 }
  87
  88 void warn_unlock2(void)
  89 {
  90         a();
  91         r();
  92         r();
  93 }
  94
  95 extern int condition, condition2;
  96
  97 int good_if1(void)
  98 {
  99         a();
 100         if(condition) {
 101                 r();
 102                 return -1;
 103         }
 104         r();
 105         return 0;
 106 }
 107
 108 void good_if2(void)
 109 {
 110         if(condition) {
 111                 a();
 112                 r();
 113         }
 114 }
 115
 116 void good_if3(void)
 117 {
 118         a();
 119         if(condition) {
 120                 a();
 121                 r();
 122         }
 123         r();
 124 }
 125
 126 int warn_if1(void)
 127 {
 128         a();
 129         if(condition)
 130                 return -1;
 131         r();
 132         return 0;
 133 }
 134
 135 int warn_if2(void)
 136 {
 137         a();
 138         if(condition) {
 139                 r();
 140                 return -1;
 141         }
 142         return 0;
 143 }
 144
 145 void good_while1(void)
 146 {
 147         a();
 148         while(condition)
 149                 ;
 150         r();
 151 }
 152
 153 void good_while2(void)
 154 {
 155         while(condition) {
 156                 a();
 157                 r();
 158         }
 159 }
 160
 161 void good_while3(void)
 162 {
 163         while(condition) {
 164                 a();
 165                 r();
 166                 if(condition2)
 167                         break;
 168                 a();
 169                 r();
 170         }
 171 }
 172
 173 void good_while4(void)
 174 {
 175         a();
 176         while(1) {
 177                 if(condition2) {
 178                         r();
 179                         break;
 180                 }
 181         }
 182 }
 183
 184 void good_while5(void)
 185 {
 186         a();
 187         while(1) {
 188                 r();
 189                 if(condition2)
 190                         break;
 191                 a();
 192         }
 193 }
 194
 195 void warn_while1(void)
 196 {
 197         while(condition) {
 198                 a();
 199         }
 200 }
 201
 202 void warn_while2(void)
 203 {
 204         while(condition) {
 205                 r();
 206         }
 207 }
 208
 209 void warn_while3(void)
 210 {
 211         while(condition) {
 212                 a();
 213                 if(condition2)
 214                         break;
 215                 r();
 216         }
 217 }
 218
 219 void good_goto1(void)
 220 {
 221     a();
 222     goto label;
 223 label:
 224     r();
 225 }
 226
 227 void good_goto2(void)
 228 {
 229     a();
 230     goto label;
 231     a();
 232     r();
 233 label:
 234     r();
 235 }
 236
 237 void good_goto3(void)
 238 {
 239     a();
 240     if(condition)
 241         goto label;
 242     a();
 243     r();
 244 label:
 245     r();
 246 }
 247
 248 void good_goto4(void)
 249 {
 250     if(condition)
 251         goto label;
 252     a();
 253     r();
 254 label:
 255     ;
 256 }
 257
 258 void good_goto5(void)
 259 {
 260     a();
 261     if(condition)
 262         goto label;
 263     r();
 264     return;
 265 label:
 266     r();
 267 }
 268
 269 void warn_goto1(void)
 270 {
 271     a();
 272     goto label;
 273     r();
 274 label:
 275     ;
 276 }
 277
 278 void warn_goto2(void)
 279 {
 280     a();
 281     goto label;
 282     r();
 283 label:
 284     a();
 285     r();
 286 }
 287
 288 void warn_goto3(void)
 289 {
 290     a();
 291     if(condition)
 292         goto label;
 293     r();
 294 label:
 295     r();
 296 }