WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 2
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 34
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __FITNESS_FILE__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-66-110-103 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 21:38:19 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp88acf6.c /tmp/tmpcb6c1c.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/libtiff/tif_aux.c: parsing
cilRep: preprocessed/libtiff/tif_aux.c: parsed (0.140211 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dir.c: parsing
cilRep: preprocessed/libtiff/tif_dir.c: parsed (0.139377 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 112 "tif_dir.c"
TIFFErrorExt(tif->tif_clientdata, "TIFFSetField",
             "%s: Invalid InkNames value; expecting %d names, found %d",
             tif->tif_name, td->td_samplesperpixel,
             (int )td->td_samplesperpixel - (int )i);
Liveness failed on function:
 static uint32 checkInkNamesString(TIFF *tif , uint32 slen , char const   *s ) 
{ TIFFDirectory *td ;
  uint16 i ;
  char const   *ep ;
  char const   *cp ;

  {
   765: /* CIL Label */ 
#line 97
  td = & tif->tif_dir;
   766: /* CIL Label */ 
#line 98
  i = td->td_samplesperpixel;
   767: /* CIL Label */ 
#line 100
  if (slen > 0U) {
#line 101
    ep = s + slen;
#line 102
    cp = s;
#line 103
    while ((int )i > 0) {
#line 104
      while ((int const   )*cp != 0) {
#line 105
        if ((unsigned int )cp >= (unsigned int )ep) {
          goto bad;
        } else {

        }
#line 104
        cp ++;
      }
#line 107
      cp ++;
#line 103
      i = (uint16 )((int )i - 1);
    }
#line 109
    return ((unsigned int )(cp - s));
  } else {

  }
   768: /* CIL Label */ 
  bad: 
#line 112
  TIFFErrorExt(tif->tif_clientdata, "TIFFSetField",
               "%s: Invalid InkNames value; expecting %d names, found %d",
               tif->tif_name, td->td_samplesperpixel,
               (int )td->td_samplesperpixel - (int )i);
   769: /* CIL Label */ 
#line 117
  return (0U);
}
}

cilRep: liveness failure for checkInkNamesString: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: end: 
#line 551
__builtin_va_end(ap);
Liveness failed on function:
 static int _TIFFVSetField(TIFF *tif , ttag_t tag , va_list ap ) 
{ TIFFDirectory *td ;
  int status ;
  uint32 v32 ;
  uint32 i ;
  uint32 v ;
  char *s ;
  int tmp ;
  uint32 tmp___0 ;
  int tmp___1 ;
  int tmp___2 ;
  TIFFFieldInfo const   *tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;
  dblparam_t tmp___6 ;
  dblparam_t tmp___7 ;
  dblparam_t tmp___8 ;
  dblparam_t tmp___9 ;
  dblparam_t tmp___10 ;
  dblparam_t tmp___11 ;
  int tmp___12 ;
  int tmp___13 ;
  int tmp___14 ;
  int tmp___15 ;
  uint16 *tmp___16 ;
  uint16 *tmp___17 ;
  uint16 *tmp___18 ;
  int tmp___19 ;
  int tmp___20 ;
  uint16 sv ;
  int tmp___21 ;
  uint32 *tmp___22 ;
  int tmp___23 ;
  int tmp___24 ;
  int tmp___25 ;
  uint16 *tmp___26 ;
  TIFFFieldInfo const   *fip ;
  TIFFFieldInfo const   *tmp___27 ;
  TIFFTagValue *tv ;
  int tv_size ;
  int iCustom ;
  TIFFFieldInfo const   *tmp___28 ;
  char const   *tmp___29 ;
  TIFFTagValue *new_customValues ;
  tdata_t tmp___30 ;
  uint32 tmp___31 ;
  int tmp___32 ;
  char *tmp___33 ;
  void *tmp___34 ;
  uint8 v___0 ;
  int tmp___35 ;
  int8 v___1 ;
  int tmp___36 ;
  uint16 v___2 ;
  int tmp___37 ;
  int16 v___3 ;
  int tmp___38 ;
  uint32 v___4 ;
  uint32 tmp___39 ;
  int32 v___5 ;
  int32 tmp___40 ;
  float v___6 ;
  double tmp___41 ;
  double v___7 ;
  double tmp___42 ;
  TIFFFieldInfo const   *tmp___43 ;
  TIFFFieldInfo const   *tmp___44 ;
  TIFFFieldInfo const   *tmp___45 ;
  TIFFFieldInfo const   *tmp___46 ;

  {
   1066: /* CIL Label */ 
#line 125
  td = & tif->tif_dir;
   1067: /* CIL Label */ 
#line 126
  status = 1;
   0: /* CIL Label */ 
#line 130
  switch ((int )tag) {
  case 254: 
#line 132
  td->td_subfiletype = __builtin_va_arg(ap, uint32 );
#line 133
  break;
  case 256: 
#line 135
  td->td_imagewidth = __builtin_va_arg(ap, uint32 );
#line 136
  break;
  case 257: 
#line 138
  td->td_imagelength = __builtin_va_arg(ap, uint32 );
#line 139
  break;
  case 258: 
#line 141
  tmp = __builtin_va_arg(ap, int );
#line 141
  td->td_bitspersample = (unsigned short )tmp;
#line 149
  if (tif->tif_flags & 128U) {
#line 150
    if ((int )td->td_bitspersample == 16) {
#line 151
      tif->tif_postdecode = & _TIFFSwab16BitData;
    } else {
#line 152
      if ((int )td->td_bitspersample == 24) {
#line 153
        tif->tif_postdecode = & _TIFFSwab24BitData;
      } else {
#line 154
        if ((int )td->td_bitspersample == 32) {
#line 155
          tif->tif_postdecode = & _TIFFSwab32BitData;
        } else {
#line 156
          if ((int )td->td_bitspersample == 64) {
#line 157
            tif->tif_postdecode = & _TIFFSwab64BitData;
          } else {
#line 158
            if ((int )td->td_bitspersample == 128) {
#line 159
              tif->tif_postdecode = & _TIFFSwab64BitData;
            } else {

            }
          }
        }
      }
    }
  } else {

  }
#line 161
  break;
  case 259: 
#line 163
  tmp___0 = __builtin_va_arg(ap, uint32 );
#line 163
  v = tmp___0 & 65535U;
#line 169
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 7)) {
#line 170
    if ((uint32 )td->td_compression == v) {
#line 171
      break;
    } else {

    }
#line 172
    (*(tif->tif_cleanup))(tif);
#line 173
    tif->tif_flags &= 4294967263U;
  } else {

  }
#line 178
  status = TIFFSetCompressionScheme(tif, (int )v);
#line 178
  if (status != 0) {
#line 179
    td->td_compression = (unsigned short )v;
  } else {
#line 181
    status = 0;
  }
#line 182
  break;
  case 262: 
#line 184
  tmp___1 = __builtin_va_arg(ap, int );
#line 184
  td->td_photometric = (unsigned short )tmp___1;
#line 185
  break;
  case 263: 
#line 187
  tmp___2 = __builtin_va_arg(ap, int );
#line 187
  td->td_threshholding = (unsigned short )tmp___2;
#line 188
  break;
  case 266: 
#line 190
  v = __builtin_va_arg(ap, uint32 );
#line 191
  if (v != 2U) {
#line 191
    if (v != 1U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 193
  td->td_fillorder = (unsigned short )v;
#line 194
  break;
#line 195
  break;
  case 274: 
#line 197
  v = __builtin_va_arg(ap, uint32 );
#line 198
  if (v < 1U) {
#line 199
    tmp___3 = TIFFFieldWithTag(tif, tag);
#line 199
    TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                   "Bad value %lu for \"%s\" tag ignored", v,
                   tmp___3->field_name);
  } else {
#line 198
    if (8U < v) {
#line 199
      tmp___3 = TIFFFieldWithTag(tif, tag);
#line 199
      TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                     "Bad value %lu for \"%s\" tag ignored", v,
                     tmp___3->field_name);
    } else {
#line 203
      td->td_orientation = (unsigned short )v;
    }
  }
#line 204
  break;
  case 277: 
#line 207
  v = __builtin_va_arg(ap, uint32 );
#line 208
  if (v == 0U) {
    goto badvalue;
  } else {

  }
#line 210
  td->td_samplesperpixel = (unsigned short )v;
#line 211
  break;
  case 278: 
#line 213
  v32 = __builtin_va_arg(ap, uint32 );
#line 214
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 216
  td->td_rowsperstrip = v32;
#line 217
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 2))) {
#line 218
    td->td_tilelength = v32;
#line 219
    td->td_tilewidth = td->td_imagewidth;
  } else {

  }
#line 221
  break;
  case 280: 
#line 223
  tmp___4 = __builtin_va_arg(ap, int );
#line 223
  td->td_minsamplevalue = (unsigned short )tmp___4;
#line 224
  break;
  case 281: 
#line 226
  tmp___5 = __builtin_va_arg(ap, int );
#line 226
  td->td_maxsamplevalue = (unsigned short )tmp___5;
#line 227
  break;
  case 340: 
#line 229
  tmp___6 = __builtin_va_arg(ap, dblparam_t );
#line 229
  td->td_sminsamplevalue = tmp___6;
#line 230
  break;
  case 341: 
#line 232
  tmp___7 = __builtin_va_arg(ap, dblparam_t );
#line 232
  td->td_smaxsamplevalue = tmp___7;
#line 233
  break;
  case 282: 
#line 235
  tmp___8 = __builtin_va_arg(ap, dblparam_t );
#line 235
  td->td_xresolution = (float )tmp___8;
#line 236
  break;
  case 283: 
#line 238
  tmp___9 = __builtin_va_arg(ap, dblparam_t );
#line 238
  td->td_yresolution = (float )tmp___9;
#line 239
  break;
  case 284: 
#line 241
  v = __builtin_va_arg(ap, uint32 );
#line 242
  if (v != 1U) {
#line 242
    if (v != 2U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 244
  td->td_planarconfig = (unsigned short )v;
#line 245
  break;
  case 286: 
#line 247
  tmp___10 = __builtin_va_arg(ap, dblparam_t );
#line 247
  td->td_xposition = (float )tmp___10;
#line 248
  break;
  case 287: 
#line 250
  tmp___11 = __builtin_va_arg(ap, dblparam_t );
#line 250
  td->td_yposition = (float )tmp___11;
#line 251
  break;
  case 296: 
#line 253
  v = __builtin_va_arg(ap, uint32 );
#line 254
  if (v < 1U) {
    goto badvalue;
  } else {
#line 254
    if (3U < v) {
      goto badvalue;
    } else {

    }
  }
#line 256
  td->td_resolutionunit = (unsigned short )v;
#line 257
  break;
  case 297: 
#line 259
  tmp___12 = __builtin_va_arg(ap, int );
#line 259
  td->td_pagenumber[0] = (unsigned short )tmp___12;
#line 260
  tmp___13 = __builtin_va_arg(ap, int );
#line 260
  td->td_pagenumber[1] = (unsigned short )tmp___13;
#line 261
  break;
  case 321: 
#line 263
  tmp___14 = __builtin_va_arg(ap, int );
#line 263
  td->td_halftonehints[0] = (unsigned short )tmp___14;
#line 264
  tmp___15 = __builtin_va_arg(ap, int );
#line 264
  td->td_halftonehints[1] = (unsigned short )tmp___15;
#line 265
  break;
  case 320: 
#line 267
  v32 = (unsigned int )(1L << (int )td->td_bitspersample);
#line 268
  tmp___16 = __builtin_va_arg(ap, uint16 *);
#line 268
  _TIFFsetShortArray(& td->td_colormap[0], tmp___16, v32);
#line 269
  tmp___17 = __builtin_va_arg(ap, uint16 *);
#line 269
  _TIFFsetShortArray(& td->td_colormap[1], tmp___17, v32);
#line 270
  tmp___18 = __builtin_va_arg(ap, uint16 *);
#line 270
  _TIFFsetShortArray(& td->td_colormap[2], tmp___18, v32);
#line 271
  break;
  case 338: 
#line 273
  tmp___19 = setExtraSamples(td, ap, & v);
#line 273
  if (tmp___19) {

  } else {
    goto badvalue;
  }
#line 275
  break;
  case 32995: 
#line 277
  tmp___20 = __builtin_va_arg(ap, int );
#line 277
  td->td_extrasamples = (unsigned short )(tmp___20 != 0);
#line 278
  if (td->td_extrasamples) {
#line 279
    sv = (uint16 )1;
#line 280
    _TIFFsetShortArray(& td->td_sampleinfo, & sv, 1U);
  } else {

  }
#line 282
  break;
  case 322: 
#line 284
  v32 = __builtin_va_arg(ap, uint32 );
#line 285
  if (v32 % 16U) {
#line 286
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

    }
#line 288
    TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                   "Nonstandard tile width %d, convert file", v32);
  } else {

  }
#line 291
  td->td_tilewidth = v32;
#line 292
  tif->tif_flags |= 1024U;
#line 293
  break;
  case 323: 
#line 295
  v32 = __builtin_va_arg(ap, uint32 );
#line 296
  if (v32 % 16U) {
#line 297
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

    }
#line 299
    TIFFWarningExt(tif->tif_clientdata, (char const   *)tif->tif_name,
                   "Nonstandard tile length %d, convert file", v32);
  } else {

  }
#line 302
  td->td_tilelength = v32;
#line 303
  tif->tif_flags |= 1024U;
#line 304
  break;
  case 32998: 
#line 306
  v32 = __builtin_va_arg(ap, uint32 );
#line 307
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 309
  td->td_tiledepth = v32;
#line 310
  break;
  case 32996: 
#line 312
  v = __builtin_va_arg(ap, uint32 );
#line 313
  switch ((int )v) {
  case 0: 
#line 314
  v = 4U;
#line 314
  break;
  case 1: 
#line 315
  v = 2U;
#line 315
  break;
  case 2: 
#line 316
  v = 1U;
#line 316
  break;
  case 3: 
#line 317
  v = 3U;
#line 317
  break;
  default: ;
  goto badvalue;
  }
#line 320
  td->td_sampleformat = (unsigned short )v;
#line 321
  break;
  case 339: 
#line 323
  v = __builtin_va_arg(ap, uint32 );
#line 324
  if (v < 1U) {
    goto badvalue;
  } else {
#line 324
    if (6U < v) {
      goto badvalue;
    } else {

    }
  }
#line 326
  td->td_sampleformat = (unsigned short )v;
#line 329
  if ((int )td->td_sampleformat == 5) {
#line 329
    if ((int )td->td_bitspersample == 32) {
#line 329
      if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab32BitData)) {
#line 332
        tif->tif_postdecode = & _TIFFSwab16BitData;
      } else {
        goto _L___1;
      }
    } else {
      goto _L___1;
    }
  } else {
    _L___1: /* CIL Label */ 
    _L___0: /* CIL Label */ 
#line 333
    if ((int )td->td_sampleformat == 5) {
      goto _L;
    } else {
#line 333
      if ((int )td->td_sampleformat == 6) {
        _L: /* CIL Label */ 
#line 333
        if ((int )td->td_bitspersample == 64) {
#line 333
          if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab64BitData)) {
#line 337
            tif->tif_postdecode = & _TIFFSwab32BitData;
          } else {

          }
        } else {

        }
      } else {

      }
    }
  }
#line 338
  break;
  case 32997: 
#line 340
  td->td_imagedepth = __builtin_va_arg(ap, uint32 );
#line 341
  break;
  case 330: 
#line 343
  if ((tif->tif_flags & 8192U) == 0U) {
#line 344
    tmp___21 = __builtin_va_arg(ap, int );
#line 344
    td->td_nsubifd = (unsigned short )tmp___21;
#line 345
    tmp___22 = __builtin_va_arg(ap, uint32 *);
#line 345
    _TIFFsetLongArray(& td->td_subifd, tmp___22,
                      (unsigned int )((long )td->td_nsubifd));
  } else {
#line 348
    TIFFErrorExt(tif->tif_clientdata, module, "%s: Sorry, cannot nest SubIFDs",
                 tif->tif_name);
#line 350
    status = 0;
  }
#line 352
  break;
  case 531: 
#line 354
  tmp___23 = __builtin_va_arg(ap, int );
#line 354
  td->td_ycbcrpositioning = (unsigned short )tmp___23;
#line 355
  break;
  case 530: 
#line 357
  tmp___24 = __builtin_va_arg(ap, int );
#line 357
  td->td_ycbcrsubsampling[0] = (unsigned short )tmp___24;
#line 358
  tmp___25 = __builtin_va_arg(ap, int );
#line 358
  td->td_ycbcrsubsampling[1] = (unsigned short )tmp___25;
#line 359
  break;
  case 301: 
#line 361
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 361
    v = 3U;
  } else {
#line 361
    v = 1U;
  }
#line 362
  i = 0U;
#line 362
  while (i < v) {
#line 363
    tmp___26 = __builtin_va_arg(ap, uint16 *);
#line 363
    _TIFFsetShortArray(& td->td_transferfunction[i], tmp___26,
                       (unsigned int )(1L << (int )td->td_bitspersample));
#line 362
    i ++;
  }
#line 365
  break;
  case 333: 
#line 367
  v = __builtin_va_arg(ap, uint32 );
#line 368
  s = __builtin_va_arg(ap, char *);
#line 369
  v = checkInkNamesString(tif, v, (char const   *)s);
#line 370
  status = v > 0U;
#line 371
  if (v > 0U) {
#line 372
    _TIFFsetNString(& td->td_inknames, s, v);
#line 373
    td->td_inknameslen = (int )v;
  } else {

  }
#line 375
  break;
  default: 
#line 377
  tmp___27 = TIFFFindFieldInfo(tif, tag, (enum __anonenum_TIFFDataType_20 )0);
#line 377
  fip = tmp___27;
#line 390
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L___2;
  } else {
#line 390
    if ((int const   )fip->field_bit != 65) {
      _L___2: /* CIL Label */ 
#line 391
      tmp___28 = TIFFFieldWithTag(tif, tag);
#line 391
      if (tag > 65535U) {
#line 391
        tmp___29 = "pseudo-";
      } else {
#line 391
        tmp___29 = "";
      }
#line 391
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___29, tmp___28->field_name);
#line 395
      status = 0;
#line 396
      break;
    } else {

    }
  }
#line 402
  tv = (TIFFTagValue *)((void *)0);
#line 403
  iCustom = 0;
#line 403
  while (iCustom < td->td_customValueCount) {
#line 404
    if ((unsigned int )(td->td_customValues + iCustom)->info == (unsigned int )fip) {
#line 405
      tv = td->td_customValues + iCustom;
#line 406
      if ((unsigned int )tv->value != (unsigned int )((void *)0)) {
#line 408
        _TIFFfree(tv->value);
#line 409
        tv->value = (void *)0;
      } else {

      }
#line 411
      break;
    } else {

    }
#line 403
    iCustom ++;
  }
#line 418
  if ((unsigned int )tv == (unsigned int )((void *)0)) {
#line 421
    (td->td_customValueCount) ++;
#line 422
    tmp___30 = _TIFFrealloc((void *)td->td_customValues,
                            (int )(sizeof(TIFFTagValue ) * (unsigned int )td->td_customValueCount));
#line 422
    new_customValues = (TIFFTagValue *)tmp___30;
#line 425
    if (! new_customValues) {
#line 426
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Failed to allocate space for list of custom values",
                   tif->tif_name);
#line 429
      status = 0;
      goto end;
    } else {

    }
#line 433
    td->td_customValues = new_customValues;
#line 435
    tv = td->td_customValues + (td->td_customValueCount - 1);
#line 436
    tv->info = fip;
#line 437
    tv->value = (void *)0;
#line 438
    tv->count = 0;
  } else {

  }
#line 444
  tv_size = _TIFFDataSize((enum __anonenum_TIFFDataType_20 )fip->field_type);
#line 445
  if (tv_size == 0) {
#line 446
    status = 0;
#line 447
    TIFFErrorExt(tif->tif_clientdata, module,
                 "%s: Bad field type %d for \"%s\"", tif->tif_name,
                 fip->field_type, fip->field_name);
    goto end;
  } else {

  }
#line 452
  if (fip->field_passcount) {
#line 453
    if ((int const   )fip->field_writecount == -3) {
#line 454
      tmp___31 = __builtin_va_arg(ap, uint32 );
#line 454
      tv->count = (int )tmp___31;
    } else {
#line 456
      tmp___32 = __builtin_va_arg(ap, int );
#line 456
      tv->count = tmp___32;
    }
  } else {
#line 457
    if ((int const   )fip->field_writecount == -1) {
#line 459
      tv->count = 1;
    } else {
#line 457
      if ((int const   )fip->field_writecount == -3) {
#line 459
        tv->count = 1;
      } else {
#line 460
        if ((int const   )fip->field_writecount == -2) {
#line 461
          tv->count = (int )td->td_samplesperpixel;
        } else {
#line 463
          tv->count = (int )fip->field_writecount;
        }
      }
    }
  }
#line 466
  if ((unsigned int const   )fip->field_type == 2U) {
#line 467
    tmp___33 = __builtin_va_arg(ap, char *);
#line 467
    _TIFFsetString((char **)(& tv->value), tmp___33);
  } else {
#line 469
    tv->value = _TIFFmalloc(tv_size * tv->count);
#line 470
    if (! tv->value) {
#line 471
      status = 0;
      goto end;
    } else {

    }
#line 475
    if (fip->field_passcount) {
#line 480
      tmp___34 = __builtin_va_arg(ap, void *);
#line 480
      _TIFFmemcpy(tv->value, tmp___34, tv->count * tv_size);
    } else {
#line 475
      if ((int const   )fip->field_writecount == -1) {
#line 480
        tmp___34 = __builtin_va_arg(ap, void *);
#line 480
        _TIFFmemcpy(tv->value, tmp___34, tv->count * tv_size);
      } else {
#line 475
        if ((int const   )fip->field_writecount == -3) {
#line 480
          tmp___34 = __builtin_va_arg(ap, void *);
#line 480
          _TIFFmemcpy(tv->value, tmp___34, tv->count * tv_size);
        } else {
#line 475
          if ((int const   )fip->field_writecount == -2) {
#line 480
            tmp___34 = __builtin_va_arg(ap, void *);
#line 480
            _TIFFmemcpy(tv->value, tmp___34, tv->count * tv_size);
          } else {
#line 475
            if (tv->count > 1) {
#line 480
              tmp___34 = __builtin_va_arg(ap, void *);
#line 480
              _TIFFmemcpy(tv->value, tmp___34, tv->count * tv_size);
            } else {
#line 483
              switch ((int )fip->field_type) {
              case 1: 
              case 7: 
#line 487
              tmp___35 = __builtin_va_arg(ap, int );
#line 487
              v___0 = (unsigned char )tmp___35;
#line 488
              _TIFFmemcpy(tv->value, (void *)(& v___0), tv_size * tv->count);
#line 490
              break;
              case 6: 
#line 493
              tmp___36 = __builtin_va_arg(ap, int );
#line 493
              v___1 = (signed char )tmp___36;
#line 494
              _TIFFmemcpy(tv->value, (void *)(& v___1), tv_size * tv->count);
#line 496
              break;
              case 3: 
#line 499
              tmp___37 = __builtin_va_arg(ap, int );
#line 499
              v___2 = (unsigned short )tmp___37;
#line 500
              _TIFFmemcpy(tv->value, (void *)(& v___2), tv_size * tv->count);
#line 502
              break;
              case 8: 
#line 505
              tmp___38 = __builtin_va_arg(ap, int );
#line 505
              v___3 = (short )tmp___38;
#line 506
              _TIFFmemcpy(tv->value, (void *)(& v___3), tv_size * tv->count);
#line 508
              break;
              case 4: 
              case 13: 
#line 512
              tmp___39 = __builtin_va_arg(ap, uint32 );
#line 512
              v___4 = tmp___39;
#line 513
              _TIFFmemcpy(tv->value, (void *)(& v___4), tv_size * tv->count);
#line 515
              break;
              case 9: 
#line 518
              tmp___40 = __builtin_va_arg(ap, int32 );
#line 518
              v___5 = tmp___40;
#line 519
              _TIFFmemcpy(tv->value, (void *)(& v___5), tv_size * tv->count);
#line 521
              break;
              case 5: 
              case 10: 
              case 11: 
#line 526
              tmp___41 = __builtin_va_arg(ap, double );
#line 526
              v___6 = (float )tmp___41;
#line 527
              _TIFFmemcpy(tv->value, (void *)(& v___6), tv_size * tv->count);
#line 529
              break;
              case 12: 
#line 532
              tmp___42 = __builtin_va_arg(ap, double );
#line 532
              v___7 = tmp___42;
#line 533
              _TIFFmemcpy(tv->value, (void *)(& v___7), tv_size * tv->count);
#line 535
              break;
              default: 
#line 537
              _TIFFmemset(tv->value, 0, tv->count * tv_size);
#line 538
              status = 0;
#line 539
              break;
              }
            }
          }
        }
      }
    }
  }
  }
   1068: /* CIL Label */ 
#line 545
  if (status) {
#line 546
    tmp___43 = TIFFFieldWithTag(tif, tag);
#line 546
    tmp___44 = TIFFFieldWithTag(tif, tag);
#line 546
    tif->tif_dir.td_fieldsset[(int const   )tmp___43->field_bit / 32] |= 1UL << ((int const   )tmp___44->field_bit & 31);
#line 547
    tif->tif_flags |= 8U;
  } else {

  }
   1069: /* CIL Label */ 
  end: 
#line 551
  __builtin_va_end(ap);
   1070: /* CIL Label */ 
#line 552
  return (status);
   1071: /* CIL Label */ 
  badvalue: 
#line 554
  tmp___45 = TIFFFieldWithTag(tif, tag);
   1072: /* CIL Label */ 
#line 554
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %d for \"%s\"",
               tif->tif_name, v, tmp___45->field_name);
   1073: /* CIL Label */ 
#line 556
  __builtin_va_end(ap);
   1074: /* CIL Label */ 
#line 557
  return (0);
   1075: /* CIL Label */ 
  badvalue32: 
#line 559
  tmp___46 = TIFFFieldWithTag(tif, tag);
   1076: /* CIL Label */ 
#line 559
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %ld for \"%s\"",
               tif->tif_name, v32, tmp___46->field_name);
   1077: /* CIL Label */ 
#line 561
  __builtin_va_end(ap);
   1078: /* CIL Label */ 
#line 562
  return (0);
}
}

cilRep: liveness failure for _TIFFVSetField: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 810
i ++;
Liveness failed on function:
 static int _TIFFVGetField(TIFF *tif , ttag_t tag , va_list ap ) 
{ TIFFDirectory *td ;
  int ret_val ;
  uint32 *tmp ;
  uint32 *tmp___0 ;
  uint32 *tmp___1 ;
  uint16 *tmp___2 ;
  uint16 *tmp___3 ;
  uint16 *tmp___4 ;
  uint16 *tmp___5 ;
  uint16 *tmp___6 ;
  uint16 *tmp___7 ;
  uint16 *tmp___8 ;
  uint32 *tmp___9 ;
  uint16 *tmp___10 ;
  uint16 *tmp___11 ;
  double *tmp___12 ;
  double *tmp___13 ;
  float *tmp___14 ;
  float *tmp___15 ;
  uint16 *tmp___16 ;
  float *tmp___17 ;
  float *tmp___18 ;
  uint16 *tmp___19 ;
  uint16 *tmp___20 ;
  uint16 *tmp___21 ;
  uint16 *tmp___22 ;
  uint16 *tmp___23 ;
  uint16 **tmp___24 ;
  uint16 **tmp___25 ;
  uint16 **tmp___26 ;
  uint32 **tmp___27 ;
  uint32 **tmp___28 ;
  uint16 *tmp___29 ;
  int tmp___30 ;
  uint16 *tmp___31 ;
  uint16 **tmp___32 ;
  uint32 *tmp___33 ;
  uint32 *tmp___34 ;
  uint32 *tmp___35 ;
  uint16 *tmp___36 ;
  uint16 *tmp___37 ;
  uint16 *tmp___38 ;
  uint16 *tmp___39 ;
  uint16 *tmp___40 ;
  uint32 *tmp___41 ;
  uint16 *tmp___42 ;
  uint32 **tmp___43 ;
  uint16 *tmp___44 ;
  uint16 *tmp___45 ;
  uint16 *tmp___46 ;
  uint16 **tmp___47 ;
  uint16 **tmp___48 ;
  uint16 **tmp___49 ;
  char **tmp___50 ;
  TIFFFieldInfo const   *fip ;
  TIFFFieldInfo const   *tmp___51 ;
  int i ;
  TIFFFieldInfo const   *tmp___52 ;
  char const   *tmp___53 ;
  TIFFTagValue *tv ;
  uint32 *tmp___54 ;
  uint16 *tmp___55 ;
  void **tmp___56 ;
  void **tmp___57 ;
  uint8 *tmp___58 ;
  int8 *tmp___59 ;
  uint16 *tmp___60 ;
  int16 *tmp___61 ;
  uint32 *tmp___62 ;
  int32 *tmp___63 ;
  float *tmp___64 ;
  double *tmp___65 ;

  {
   1290: /* CIL Label */ 
#line 634
  td = & tif->tif_dir;
   1291: /* CIL Label */ 
#line 635
  ret_val = 1;
   0: /* CIL Label */ 
#line 637
  switch ((int )tag) {
  case 254: 
#line 639
  tmp = __builtin_va_arg(ap, uint32 *);
#line 639
  *tmp = td->td_subfiletype;
#line 640
  break;
  case 256: 
#line 642
  tmp___0 = __builtin_va_arg(ap, uint32 *);
#line 642
  *tmp___0 = td->td_imagewidth;
#line 643
  break;
  case 257: 
#line 645
  tmp___1 = __builtin_va_arg(ap, uint32 *);
#line 645
  *tmp___1 = td->td_imagelength;
#line 646
  break;
  case 258: 
#line 648
  tmp___2 = __builtin_va_arg(ap, uint16 *);
#line 648
  *tmp___2 = td->td_bitspersample;
#line 649
  break;
  case 259: 
#line 651
  tmp___3 = __builtin_va_arg(ap, uint16 *);
#line 651
  *tmp___3 = td->td_compression;
#line 652
  break;
  case 262: 
#line 654
  tmp___4 = __builtin_va_arg(ap, uint16 *);
#line 654
  *tmp___4 = td->td_photometric;
#line 655
  break;
  case 263: 
#line 657
  tmp___5 = __builtin_va_arg(ap, uint16 *);
#line 657
  *tmp___5 = td->td_threshholding;
#line 658
  break;
  case 266: 
#line 660
  tmp___6 = __builtin_va_arg(ap, uint16 *);
#line 660
  *tmp___6 = td->td_fillorder;
#line 661
  break;
  case 274: 
#line 663
  tmp___7 = __builtin_va_arg(ap, uint16 *);
#line 663
  *tmp___7 = td->td_orientation;
#line 664
  break;
  case 277: 
#line 666
  tmp___8 = __builtin_va_arg(ap, uint16 *);
#line 666
  *tmp___8 = td->td_samplesperpixel;
#line 667
  break;
  case 278: 
#line 669
  tmp___9 = __builtin_va_arg(ap, uint32 *);
#line 669
  *tmp___9 = td->td_rowsperstrip;
#line 670
  break;
  case 280: 
#line 672
  tmp___10 = __builtin_va_arg(ap, uint16 *);
#line 672
  *tmp___10 = td->td_minsamplevalue;
#line 673
  break;
  case 281: 
#line 675
  tmp___11 = __builtin_va_arg(ap, uint16 *);
#line 675
  *tmp___11 = td->td_maxsamplevalue;
#line 676
  break;
  case 340: 
#line 678
  tmp___12 = __builtin_va_arg(ap, double *);
#line 678
  *tmp___12 = td->td_sminsamplevalue;
#line 679
  break;
  case 341: 
#line 681
  tmp___13 = __builtin_va_arg(ap, double *);
#line 681
  *tmp___13 = td->td_smaxsamplevalue;
#line 682
  break;
  case 282: 
#line 684
  tmp___14 = __builtin_va_arg(ap, float *);
#line 684
  *tmp___14 = td->td_xresolution;
#line 685
  break;
  case 283: 
#line 687
  tmp___15 = __builtin_va_arg(ap, float *);
#line 687
  *tmp___15 = td->td_yresolution;
#line 688
  break;
  case 284: 
#line 690
  tmp___16 = __builtin_va_arg(ap, uint16 *);
#line 690
  *tmp___16 = td->td_planarconfig;
#line 691
  break;
  case 286: 
#line 693
  tmp___17 = __builtin_va_arg(ap, float *);
#line 693
  *tmp___17 = td->td_xposition;
#line 694
  break;
  case 287: 
#line 696
  tmp___18 = __builtin_va_arg(ap, float *);
#line 696
  *tmp___18 = td->td_yposition;
#line 697
  break;
  case 296: 
#line 699
  tmp___19 = __builtin_va_arg(ap, uint16 *);
#line 699
  *tmp___19 = td->td_resolutionunit;
#line 700
  break;
  case 297: 
#line 702
  tmp___20 = __builtin_va_arg(ap, uint16 *);
#line 702
  *tmp___20 = td->td_pagenumber[0];
#line 703
  tmp___21 = __builtin_va_arg(ap, uint16 *);
#line 703
  *tmp___21 = td->td_pagenumber[1];
#line 704
  break;
  case 321: 
#line 706
  tmp___22 = __builtin_va_arg(ap, uint16 *);
#line 706
  *tmp___22 = td->td_halftonehints[0];
#line 707
  tmp___23 = __builtin_va_arg(ap, uint16 *);
#line 707
  *tmp___23 = td->td_halftonehints[1];
#line 708
  break;
  case 320: 
#line 710
  tmp___24 = __builtin_va_arg(ap, uint16 **);
#line 710
  *tmp___24 = td->td_colormap[0];
#line 711
  tmp___25 = __builtin_va_arg(ap, uint16 **);
#line 711
  *tmp___25 = td->td_colormap[1];
#line 712
  tmp___26 = __builtin_va_arg(ap, uint16 **);
#line 712
  *tmp___26 = td->td_colormap[2];
#line 713
  break;
  case 273: 
  case 324: 
#line 716
  tmp___27 = __builtin_va_arg(ap, uint32 **);
#line 716
  *tmp___27 = td->td_stripoffset;
#line 717
  break;
  case 279: 
  case 325: 
#line 720
  tmp___28 = __builtin_va_arg(ap, uint32 **);
#line 720
  *tmp___28 = td->td_stripbytecount;
#line 721
  break;
  case 32995: 
#line 723
  tmp___29 = __builtin_va_arg(ap, uint16 *);
#line 723
  if ((int )td->td_extrasamples == 1) {
#line 723
    if ((int )*(td->td_sampleinfo + 0) == 1) {
#line 723
      tmp___30 = 1;
    } else {
#line 723
      tmp___30 = 0;
    }
  } else {
#line 723
    tmp___30 = 0;
  }
#line 723
  *tmp___29 = (unsigned short )tmp___30;
#line 726
  break;
  case 338: 
#line 728
  tmp___31 = __builtin_va_arg(ap, uint16 *);
#line 728
  *tmp___31 = td->td_extrasamples;
#line 729
  tmp___32 = __builtin_va_arg(ap, uint16 **);
#line 729
  *tmp___32 = td->td_sampleinfo;
#line 730
  break;
  case 322: 
#line 732
  tmp___33 = __builtin_va_arg(ap, uint32 *);
#line 732
  *tmp___33 = td->td_tilewidth;
#line 733
  break;
  case 323: 
#line 735
  tmp___34 = __builtin_va_arg(ap, uint32 *);
#line 735
  *tmp___34 = td->td_tilelength;
#line 736
  break;
  case 32998: 
#line 738
  tmp___35 = __builtin_va_arg(ap, uint32 *);
#line 738
  *tmp___35 = td->td_tiledepth;
#line 739
  break;
  case 32996: 
#line 741
  switch ((int )td->td_sampleformat) {
  case 1: 
#line 743
  tmp___36 = __builtin_va_arg(ap, uint16 *);
#line 743
  *tmp___36 = (unsigned short)2;
#line 744
  break;
  case 2: 
#line 746
  tmp___37 = __builtin_va_arg(ap, uint16 *);
#line 746
  *tmp___37 = (unsigned short)1;
#line 747
  break;
  case 3: 
#line 749
  tmp___38 = __builtin_va_arg(ap, uint16 *);
#line 749
  *tmp___38 = (unsigned short)3;
#line 750
  break;
  case 4: 
#line 752
  tmp___39 = __builtin_va_arg(ap, uint16 *);
#line 752
  *tmp___39 = (unsigned short)0;
#line 753
  break;
  }
#line 755
  break;
  case 339: 
#line 757
  tmp___40 = __builtin_va_arg(ap, uint16 *);
#line 757
  *tmp___40 = td->td_sampleformat;
#line 758
  break;
  case 32997: 
#line 760
  tmp___41 = __builtin_va_arg(ap, uint32 *);
#line 760
  *tmp___41 = td->td_imagedepth;
#line 761
  break;
  case 330: 
#line 763
  tmp___42 = __builtin_va_arg(ap, uint16 *);
#line 763
  *tmp___42 = td->td_nsubifd;
#line 764
  tmp___43 = __builtin_va_arg(ap, uint32 **);
#line 764
  *tmp___43 = td->td_subifd;
#line 765
  break;
  case 531: 
#line 767
  tmp___44 = __builtin_va_arg(ap, uint16 *);
#line 767
  *tmp___44 = td->td_ycbcrpositioning;
#line 768
  break;
  case 530: 
#line 770
  tmp___45 = __builtin_va_arg(ap, uint16 *);
#line 770
  *tmp___45 = td->td_ycbcrsubsampling[0];
#line 771
  tmp___46 = __builtin_va_arg(ap, uint16 *);
#line 771
  *tmp___46 = td->td_ycbcrsubsampling[1];
#line 772
  break;
  case 301: 
#line 774
  tmp___47 = __builtin_va_arg(ap, uint16 **);
#line 774
  *tmp___47 = td->td_transferfunction[0];
#line 775
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 776
    tmp___48 = __builtin_va_arg(ap, uint16 **);
#line 776
    *tmp___48 = td->td_transferfunction[1];
#line 777
    tmp___49 = __builtin_va_arg(ap, uint16 **);
#line 777
    *tmp___49 = td->td_transferfunction[2];
  } else {

  }
#line 779
  break;
  case 333: 
#line 781
  tmp___50 = __builtin_va_arg(ap, char **);
#line 781
  *tmp___50 = td->td_inknames;
#line 782
  break;
  default: 
#line 785
  tmp___51 = TIFFFindFieldInfo(tif, tag, (enum __anonenum_TIFFDataType_20 )0);
#line 785
  fip = tmp___51;
#line 796
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L;
  } else {
#line 796
    if ((int const   )fip->field_bit != 65) {
      _L: /* CIL Label */ 
#line 798
      tmp___52 = TIFFFieldWithTag(tif, tag);
#line 798
      if (tag > 65535U) {
#line 798
        tmp___53 = "pseudo-";
      } else {
#line 798
        tmp___53 = "";
      }
#line 798
      TIFFErrorExt(tif->tif_clientdata, "_TIFFVGetField",
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___53, tmp___52->field_name);
#line 802
      ret_val = 0;
#line 803
      break;
    } else {

    }
  }
#line 809
  ret_val = 0;
#line 810
  i = 0;
#line 810
  while (i < td->td_customValueCount) {
#line 811
    tv = td->td_customValues + i;
#line 813
    if ((tv->info)->field_tag != (ttag_t const   )tag) {
      goto __Cont;
    } else {

    }
#line 816
    if (fip->field_passcount) {
#line 817
      if ((int const   )fip->field_readcount == -3) {
#line 818
        tmp___54 = __builtin_va_arg(ap, uint32 *);
#line 818
        *tmp___54 = (unsigned int )tv->count;
      } else {
#line 820
        tmp___55 = __builtin_va_arg(ap, uint16 *);
#line 820
        *tmp___55 = (unsigned short )tv->count;
      }
#line 821
      tmp___56 = __builtin_va_arg(ap, void **);
#line 821
      *tmp___56 = tv->value;
#line 822
      ret_val = 1;
    } else {
#line 824
      if ((unsigned int const   )fip->field_type == 2U) {
#line 829
        tmp___57 = __builtin_va_arg(ap, void **);
#line 829
        *tmp___57 = tv->value;
#line 830
        ret_val = 1;
      } else {
#line 824
        if ((int const   )fip->field_readcount == -1) {
#line 829
          tmp___57 = __builtin_va_arg(ap, void **);
#line 829
          *tmp___57 = tv->value;
#line 830
          ret_val = 1;
        } else {
#line 824
          if ((int const   )fip->field_readcount == -3) {
#line 829
            tmp___57 = __builtin_va_arg(ap, void **);
#line 829
            *tmp___57 = tv->value;
#line 830
            ret_val = 1;
          } else {
#line 824
            if ((int const   )fip->field_readcount == -2) {
#line 829
              tmp___57 = __builtin_va_arg(ap, void **);
#line 829
              *tmp___57 = tv->value;
#line 830
              ret_val = 1;
            } else {
#line 824
              if (tv->count > 1) {
#line 829
                tmp___57 = __builtin_va_arg(ap, void **);
#line 829
                *tmp___57 = tv->value;
#line 830
                ret_val = 1;
              } else {
#line 832
                switch ((int )fip->field_type) {
                case 1: 
                case 7: 
#line 835
                tmp___58 = __builtin_va_arg(ap, uint8 *);
#line 835
                *tmp___58 = *((uint8 *)tv->value);
#line 837
                ret_val = 1;
#line 838
                break;
                case 6: 
#line 840
                tmp___59 = __builtin_va_arg(ap, int8 *);
#line 840
                *tmp___59 = *((int8 *)tv->value);
#line 842
                ret_val = 1;
#line 843
                break;
                case 3: 
#line 845
                tmp___60 = __builtin_va_arg(ap, uint16 *);
#line 845
                *tmp___60 = *((uint16 *)tv->value);
#line 847
                ret_val = 1;
#line 848
                break;
                case 8: 
#line 850
                tmp___61 = __builtin_va_arg(ap, int16 *);
#line 850
                *tmp___61 = *((int16 *)tv->value);
#line 852
                ret_val = 1;
#line 853
                break;
                case 4: 
                case 13: 
#line 856
                tmp___62 = __builtin_va_arg(ap, uint32 *);
#line 856
                *tmp___62 = *((uint32 *)tv->value);
#line 858
                ret_val = 1;
#line 859
                break;
                case 9: 
#line 861
                tmp___63 = __builtin_va_arg(ap, int32 *);
#line 861
                *tmp___63 = *((int32 *)tv->value);
#line 863
                ret_val = 1;
#line 864
                break;
                case 5: 
                case 10: 
                case 11: 
#line 868
                tmp___64 = __builtin_va_arg(ap, float *);
#line 868
                *tmp___64 = *((float *)tv->value);
#line 870
                ret_val = 1;
#line 871
                break;
                case 12: 
#line 873
                tmp___65 = __builtin_va_arg(ap, double *);
#line 873
                *tmp___65 = *((double *)tv->value);
#line 875
                ret_val = 1;
#line 876
                break;
                default: 
#line 878
                ret_val = 0;
#line 879
                break;
                }
              }
            }
          }
        }
      }
    }
#line 883
    break;
    __Cont: /* CIL Label */ 
#line 810
    i ++;
  }
  }
   1292: /* CIL Label */ 
#line 887
  return (ret_val);
}
}

cilRep: liveness failure for _TIFFVGetField: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dirinfo.c: parsing
Error: There were parsing errors in preprocessed/libtiff/tif_dirinfo.c
/root/repair aborting: Errormsg.Error
Rep: saving test cache

Variant Test Case Queries: 0
"Test Suite Evaluations": 0

Compile Failures: 0
Wall-Clock Seconds Elapsed: 6.25979
  Activity Name                     Count Seconds = Percent of Total Time
  TOTAL                                     0.000 = 0% (avg CPU usage)
Fatal error: exception Errormsg.Error
libtiff-bug-29a9d93-b8aa549.tar.gz
Tue May  7 21:38:27 EDT 2013
shutting down
