test/metastate/nullbranch2.c

   1 void ftest (char *fname)
   2 {
   3   char *s;
   4
   5   s = malloc (sizeof (*s) * 20);
   6
   7   if (s == NULL)
   8     {
   9       ;
  10     }
  11   else
  12     {
  13       *s = '4';
  14       free (s);
  15     }
  16 }