test/tests2.2/rex.c

   1 #include <stdio.h>
   2
   3 struct rx_hash
   4 {
   5   struct rx_hash *parent;
   6   struct rx_hash *children[13];
   7 };
   8
   9 typedef struct rx_hash regex_t;
  10
  11 void regcomp (/*@out@*/ regex_t *re);
  12
  13 int main (int, char **)
  14 {
  15   regex_t re;
  16
  17   regcomp (&re);
  18
  19   return 2;
  20 }
  21
  22 int f (void)
  23 {
  24   /*@-varuse@*/ regex_t re; /*@=varuse@*/
  25   return 3;
  26 }
  27