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 60
--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__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0B-A5-31 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:20 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           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpb715b6.c /tmp/tmpce9cb0.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_dir.c: parsing
cilRep: preprocessed/libtiff/tif_dir.c: parsed (0.154108 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 130 "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 ;

  {
   287: /* CIL Label */ 
#line 115
  td = & tif->tif_dir;
   288: /* CIL Label */ 
#line 116
  i = td->td_samplesperpixel;
   289: /* CIL Label */ 
#line 118
  if (slen > 0U) {
#line 119
    ep = s + slen;
#line 120
    cp = s;
#line 121
    while ((int )i > 0) {
#line 122
      while ((int const   )*cp != 0) {
#line 123
        if ((unsigned int )cp >= (unsigned int )ep) {
          goto bad;
        } else {

        }
#line 122
        cp ++;
      }
#line 125
      cp ++;
#line 121
      i = (uint16 )((int )i - 1);
    }
#line 127
    return ((unsigned int )(cp - s));
  } else {

  }
   290: /* CIL Label */ 
  bad: 
#line 130
  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);
   291: /* CIL Label */ 
#line 135
  return (0U);
}
}

cilRep: liveness failure for checkInkNamesString: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___6: /* CIL Label */ 
_L___5: /* CIL Label */ 
_L___4: /* CIL Label */ 
_L___3: /* CIL Label */ 
#line 531
val = (char *)tv->value;
#line 533
i___0 = 0;
Liveness failed on function:
 static int _TIFFVSetField(TIFF *tif , uint32 tag , va_list ap ) 
{ TIFFDirectory *td ;
  int status ;
  uint32 v32 ;
  uint32 i ;
  uint32 v ;
  char *s ;
  uint32 tmp ;
  uint32 tmp___0 ;
  uint32 tmp___1 ;
  uint16_vap tmp___2 ;
  uint16_vap tmp___3 ;
  uint16_vap tmp___4 ;
  uint16_vap tmp___5 ;
  uint16_vap tmp___6 ;
  uint16_vap tmp___7 ;
  uint16_vap tmp___8 ;
  uint32 tmp___9 ;
  uint16_vap tmp___10 ;
  uint16_vap tmp___11 ;
  double tmp___12 ;
  double tmp___13 ;
  double tmp___14 ;
  double tmp___15 ;
  uint16_vap tmp___16 ;
  double tmp___17 ;
  double tmp___18 ;
  uint16_vap tmp___19 ;
  uint16_vap tmp___20 ;
  uint16_vap tmp___21 ;
  uint16_vap tmp___22 ;
  uint16_vap tmp___23 ;
  uint16 *tmp___24 ;
  uint16 *tmp___25 ;
  uint16 *tmp___26 ;
  int tmp___27 ;
  uint16_vap tmp___28 ;
  uint16 sv ;
  uint32 tmp___29 ;
  uint32 tmp___30 ;
  uint32 tmp___31 ;
  uint16_vap tmp___32 ;
  uint16_vap tmp___33 ;
  uint32 tmp___34 ;
  uint16_vap tmp___35 ;
  uint64 *tmp___36 ;
  uint16_vap tmp___37 ;
  uint16_vap tmp___38 ;
  uint16_vap tmp___39 ;
  uint16 *tmp___40 ;
  uint16_vap tmp___41 ;
  TIFFTagValue *tv ;
  int tv_size ;
  int iCustom ;
  TIFFField const   *fip ;
  TIFFField const   *tmp___42 ;
  char const   *tmp___43 ;
  char const   *tmp___44 ;
  TIFFTagValue *new_customValues ;
  void *tmp___45 ;
  uint32 ma ;
  char *mb ;
  uint32 tmp___46 ;
  char *tmp___47 ;
  char *tmp___48 ;
  size_t tmp___49 ;
  uint32 tmp___50 ;
  int tmp___51 ;
  void *tmp___52 ;
  int i___0 ;
  char *val ;
  uint8 v___0 ;
  int tmp___53 ;
  int8 v___1 ;
  int tmp___54 ;
  uint16 v___2 ;
  int tmp___55 ;
  int16 v___3 ;
  int tmp___56 ;
  uint32 v___4 ;
  uint32 tmp___57 ;
  int32 v___5 ;
  int32 tmp___58 ;
  uint64 v___6 ;
  uint64 tmp___59 ;
  int64 v___7 ;
  int64 tmp___60 ;
  float v___8 ;
  double tmp___61 ;
  double v___9 ;
  double tmp___62 ;
  TIFFField const   *tmp___63 ;
  TIFFField const   *tmp___64 ;
  TIFFField const   *tmp___65 ;
  TIFFField const   *tmp___66 ;

  {
   623: /* CIL Label */ 
#line 143
  td = & tif->tif_dir;
   624: /* CIL Label */ 
#line 144
  status = 1;
   0: /* CIL Label */ 
#line 148
  switch ((int )tag) {
  case 254: 
#line 150
  tmp = __builtin_va_arg(ap, uint32 );
#line 150
  td->td_subfiletype = tmp;
#line 151
  break;
  case 256: 
#line 153
  tmp___0 = __builtin_va_arg(ap, uint32 );
#line 153
  td->td_imagewidth = tmp___0;
#line 154
  break;
  case 257: 
#line 156
  tmp___1 = __builtin_va_arg(ap, uint32 );
#line 156
  td->td_imagelength = tmp___1;
#line 157
  break;
  case 258: 
#line 159
  tmp___2 = __builtin_va_arg(ap, uint16_vap );
#line 159
  td->td_bitspersample = (unsigned short )tmp___2;
#line 167
  if (tif->tif_flags & 128U) {
#line 168
    if ((int )td->td_bitspersample == 16) {
#line 169
      tif->tif_postdecode = & _TIFFSwab16BitData;
    } else {
#line 170
      if ((int )td->td_bitspersample == 24) {
#line 171
        tif->tif_postdecode = & _TIFFSwab24BitData;
      } else {
#line 172
        if ((int )td->td_bitspersample == 32) {
#line 173
          tif->tif_postdecode = & _TIFFSwab32BitData;
        } else {
#line 174
          if ((int )td->td_bitspersample == 64) {
#line 175
            tif->tif_postdecode = & _TIFFSwab64BitData;
          } else {
#line 176
            if ((int )td->td_bitspersample == 128) {
#line 177
              tif->tif_postdecode = & _TIFFSwab64BitData;
            } else {

            }
          }
        }
      }
    }
  } else {

  }
#line 179
  break;
  case 259: 
#line 181
  tmp___3 = __builtin_va_arg(ap, uint16_vap );
#line 181
  v = (unsigned int )((unsigned short )tmp___3);
#line 187
  if (tif->tif_dir.td_fieldsset[0] & (1UL << 7)) {
#line 188
    if ((unsigned int )td->td_compression == v) {
#line 189
      break;
    } else {

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

  }
#line 196
  status = TIFFSetCompressionScheme(tif, (int )v);
#line 196
  if (status != 0) {
#line 197
    td->td_compression = (unsigned short )v;
  } else {
#line 199
    status = 0;
  }
#line 200
  break;
  case 262: 
#line 202
  tmp___4 = __builtin_va_arg(ap, uint16_vap );
#line 202
  td->td_photometric = (unsigned short )tmp___4;
#line 203
  break;
  case 263: 
#line 205
  tmp___5 = __builtin_va_arg(ap, uint16_vap );
#line 205
  td->td_threshholding = (unsigned short )tmp___5;
#line 206
  break;
  case 266: 
#line 208
  tmp___6 = __builtin_va_arg(ap, uint16_vap );
#line 208
  v = (unsigned int )((unsigned short )tmp___6);
#line 209
  if (v != 2U) {
#line 209
    if (v != 1U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 211
  td->td_fillorder = (unsigned short )v;
#line 212
  break;
  case 274: 
#line 214
  tmp___7 = __builtin_va_arg(ap, uint16_vap );
#line 214
  v = (unsigned int )((unsigned short )tmp___7);
#line 215
  if (v < 1U) {
    goto badvalue;
  } else {
#line 215
    if (8U < v) {
      goto badvalue;
    } else {
#line 218
      td->td_orientation = (unsigned short )v;
    }
  }
#line 219
  break;
  case 277: 
#line 221
  tmp___8 = __builtin_va_arg(ap, uint16_vap );
#line 221
  v = (unsigned int )((unsigned short )tmp___8);
#line 222
  if (v == 0U) {
    goto badvalue;
  } else {

  }
#line 224
  td->td_samplesperpixel = (unsigned short )v;
#line 225
  break;
  case 278: 
#line 227
  tmp___9 = __builtin_va_arg(ap, uint32 );
#line 227
  v32 = tmp___9;
#line 228
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 230
  td->td_rowsperstrip = v32;
#line 231
  if (! (tif->tif_dir.td_fieldsset[0] & (1UL << 2))) {
#line 232
    td->td_tilelength = v32;
#line 233
    td->td_tilewidth = td->td_imagewidth;
  } else {

  }
#line 235
  break;
  case 280: 
#line 237
  tmp___10 = __builtin_va_arg(ap, uint16_vap );
#line 237
  td->td_minsamplevalue = (unsigned short )tmp___10;
#line 238
  break;
  case 281: 
#line 240
  tmp___11 = __builtin_va_arg(ap, uint16_vap );
#line 240
  td->td_maxsamplevalue = (unsigned short )tmp___11;
#line 241
  break;
  case 340: 
#line 243
  tmp___12 = __builtin_va_arg(ap, double );
#line 243
  td->td_sminsamplevalue = tmp___12;
#line 244
  break;
  case 341: 
#line 246
  tmp___13 = __builtin_va_arg(ap, double );
#line 246
  td->td_smaxsamplevalue = tmp___13;
#line 247
  break;
  case 282: 
#line 249
  tmp___14 = __builtin_va_arg(ap, double );
#line 249
  td->td_xresolution = (float )tmp___14;
#line 250
  break;
  case 283: 
#line 252
  tmp___15 = __builtin_va_arg(ap, double );
#line 252
  td->td_yresolution = (float )tmp___15;
#line 253
  break;
  case 284: 
#line 255
  tmp___16 = __builtin_va_arg(ap, uint16_vap );
#line 255
  v = (unsigned int )((unsigned short )tmp___16);
#line 256
  if (v != 1U) {
#line 256
    if (v != 2U) {
      goto badvalue;
    } else {

    }
  } else {

  }
#line 258
  td->td_planarconfig = (unsigned short )v;
#line 259
  break;
  case 286: 
#line 261
  tmp___17 = __builtin_va_arg(ap, double );
#line 261
  td->td_xposition = (float )tmp___17;
#line 262
  break;
  case 287: 
#line 264
  tmp___18 = __builtin_va_arg(ap, double );
#line 264
  td->td_yposition = (float )tmp___18;
#line 265
  break;
  case 296: 
#line 267
  tmp___19 = __builtin_va_arg(ap, uint16_vap );
#line 267
  v = (unsigned int )((unsigned short )tmp___19);
#line 268
  if (v < 1U) {
    goto badvalue;
  } else {
#line 268
    if (3U < v) {
      goto badvalue;
    } else {

    }
  }
#line 270
  td->td_resolutionunit = (unsigned short )v;
#line 271
  break;
  case 297: 
#line 273
  tmp___20 = __builtin_va_arg(ap, uint16_vap );
#line 273
  td->td_pagenumber[0] = (unsigned short )tmp___20;
#line 274
  tmp___21 = __builtin_va_arg(ap, uint16_vap );
#line 274
  td->td_pagenumber[1] = (unsigned short )tmp___21;
#line 275
  break;
  case 321: 
#line 277
  tmp___22 = __builtin_va_arg(ap, uint16_vap );
#line 277
  td->td_halftonehints[0] = (unsigned short )tmp___22;
#line 278
  tmp___23 = __builtin_va_arg(ap, uint16_vap );
#line 278
  td->td_halftonehints[1] = (unsigned short )tmp___23;
#line 279
  break;
  case 320: 
#line 281
  v32 = (unsigned int )(1L << (int )td->td_bitspersample);
#line 282
  tmp___24 = __builtin_va_arg(ap, uint16 *);
#line 282
  _TIFFsetShortArray(& td->td_colormap[0], tmp___24, v32);
#line 283
  tmp___25 = __builtin_va_arg(ap, uint16 *);
#line 283
  _TIFFsetShortArray(& td->td_colormap[1], tmp___25, v32);
#line 284
  tmp___26 = __builtin_va_arg(ap, uint16 *);
#line 284
  _TIFFsetShortArray(& td->td_colormap[2], tmp___26, v32);
#line 285
  break;
  case 338: 
#line 287
  tmp___27 = setExtraSamples(td, ap, & v);
#line 287
  if (tmp___27) {

  } else {
    goto badvalue;
  }
#line 289
  break;
  case 32995: 
#line 291
  tmp___28 = __builtin_va_arg(ap, uint16_vap );
#line 291
  td->td_extrasamples = (unsigned short )((int )((unsigned short )tmp___28) != 0);
#line 292
  if (td->td_extrasamples) {
#line 293
    sv = (uint16 )1;
#line 294
    _TIFFsetShortArray(& td->td_sampleinfo, & sv, 1U);
  } else {

  }
#line 296
  break;
  case 322: 
#line 298
  tmp___29 = __builtin_va_arg(ap, uint32 );
#line 298
  v32 = tmp___29;
#line 299
  if (v32 % 16U) {
#line 300
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

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

  }
#line 305
  td->td_tilewidth = v32;
#line 306
  tif->tif_flags |= 1024U;
#line 307
  break;
  case 323: 
#line 309
  tmp___30 = __builtin_va_arg(ap, uint32 );
#line 309
  v32 = tmp___30;
#line 310
  if (v32 % 16U) {
#line 311
    if (tif->tif_mode != 00) {
      goto badvalue32;
    } else {

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

  }
#line 316
  td->td_tilelength = v32;
#line 317
  tif->tif_flags |= 1024U;
#line 318
  break;
  case 32998: 
#line 320
  tmp___31 = __builtin_va_arg(ap, uint32 );
#line 320
  v32 = tmp___31;
#line 321
  if (v32 == 0U) {
    goto badvalue32;
  } else {

  }
#line 323
  td->td_tiledepth = v32;
#line 324
  break;
  case 32996: 
#line 326
  tmp___32 = __builtin_va_arg(ap, uint16_vap );
#line 326
  v = (unsigned int )((unsigned short )tmp___32);
#line 327
  switch ((int )v) {
  case 0: 
#line 328
  v = 4U;
#line 328
  break;
  case 1: 
#line 329
  v = 2U;
#line 329
  break;
  case 2: 
#line 330
  v = 1U;
#line 330
  break;
  case 3: 
#line 331
  v = 3U;
#line 331
  break;
  default: ;
  goto badvalue;
  }
#line 334
  td->td_sampleformat = (unsigned short )v;
#line 335
  break;
  case 339: 
#line 337
  tmp___33 = __builtin_va_arg(ap, uint16_vap );
#line 337
  v = (unsigned int )((unsigned short )tmp___33);
#line 338
  if (v < 1U) {
    goto badvalue;
  } else {
#line 338
    if (6U < v) {
      goto badvalue;
    } else {

    }
  }
#line 340
  td->td_sampleformat = (unsigned short )v;
#line 343
  if ((int )td->td_sampleformat == 5) {
#line 343
    if ((int )td->td_bitspersample == 32) {
#line 343
      if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab32BitData)) {
#line 346
        tif->tif_postdecode = & _TIFFSwab16BitData;
      } else {
        goto _L___1;
      }
    } else {
      goto _L___1;
    }
  } else {
    _L___1: /* CIL Label */ 
    _L___0: /* CIL Label */ 
#line 347
    if ((int )td->td_sampleformat == 5) {
      goto _L;
    } else {
#line 347
      if ((int )td->td_sampleformat == 6) {
        _L: /* CIL Label */ 
#line 347
        if ((int )td->td_bitspersample == 64) {
#line 347
          if ((unsigned int )tif->tif_postdecode == (unsigned int )(& _TIFFSwab64BitData)) {
#line 351
            tif->tif_postdecode = & _TIFFSwab32BitData;
          } else {

          }
        } else {

        }
      } else {

      }
    }
  }
#line 352
  break;
  case 32997: 
#line 354
  tmp___34 = __builtin_va_arg(ap, uint32 );
#line 354
  td->td_imagedepth = tmp___34;
#line 355
  break;
  case 330: 
#line 357
  if ((tif->tif_flags & 8192U) == 0U) {
#line 358
    tmp___35 = __builtin_va_arg(ap, uint16_vap );
#line 358
    td->td_nsubifd = (unsigned short )tmp___35;
#line 359
    tmp___36 = __builtin_va_arg(ap, uint64 *);
#line 359
    _TIFFsetLong8Array(& td->td_subifd, tmp___36,
                       (unsigned int )((long )td->td_nsubifd));
  } else {
#line 362
    TIFFErrorExt(tif->tif_clientdata, module, "%s: Sorry, cannot nest SubIFDs",
                 tif->tif_name);
#line 365
    status = 0;
  }
#line 367
  break;
  case 531: 
#line 369
  tmp___37 = __builtin_va_arg(ap, uint16_vap );
#line 369
  td->td_ycbcrpositioning = (unsigned short )tmp___37;
#line 370
  break;
  case 530: 
#line 372
  tmp___38 = __builtin_va_arg(ap, uint16_vap );
#line 372
  td->td_ycbcrsubsampling[0] = (unsigned short )tmp___38;
#line 373
  tmp___39 = __builtin_va_arg(ap, uint16_vap );
#line 373
  td->td_ycbcrsubsampling[1] = (unsigned short )tmp___39;
#line 374
  break;
  case 301: 
#line 376
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 376
    v = 3U;
  } else {
#line 376
    v = 1U;
  }
#line 377
  i = 0U;
#line 377
  while (i < v) {
#line 378
    tmp___40 = __builtin_va_arg(ap, uint16 *);
#line 378
    _TIFFsetShortArray(& td->td_transferfunction[i], tmp___40,
                       (unsigned int )(1L << (int )td->td_bitspersample));
#line 377
    i ++;
  }
#line 380
  break;
  case 333: 
#line 382
  tmp___41 = __builtin_va_arg(ap, uint16_vap );
#line 382
  v = (unsigned int )((unsigned short )tmp___41);
#line 383
  s = __builtin_va_arg(ap, char *);
#line 384
  v = checkInkNamesString(tif, v, (char const   *)s);
#line 385
  status = v > 0U;
#line 386
  if (v > 0U) {
#line 387
    _TIFFsetNString(& td->td_inknames, s, v);
#line 388
    td->td_inknameslen = (int )v;
  } else {

  }
#line 390
  break;
  default: 
#line 394
  tmp___42 = TIFFFindField(tif, tag, (enum __anonenum_TIFFDataType_21 )0);
#line 394
  fip = tmp___42;
#line 405
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L___2;
  } else {
#line 405
    if ((int const   )fip->field_bit != 65) {
      _L___2: /* CIL Label */ 
#line 406
      if (fip) {
#line 406
        tmp___43 = (char const   */* const  */)fip->field_name;
      } else {
#line 406
        tmp___43 = (char const   */* const  */)"Unknown";
      }
#line 406
      if (tag > 65535U) {
#line 406
        tmp___44 = "pseudo-";
      } else {
#line 406
        tmp___44 = "";
      }
#line 406
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___44, tmp___43);
#line 410
      status = 0;
#line 411
      break;
    } else {

    }
  }
#line 417
  tv = (TIFFTagValue *)((void *)0);
#line 418
  iCustom = 0;
#line 418
  while (iCustom < td->td_customValueCount) {
#line 419
    if (((td->td_customValues + iCustom)->info)->field_tag == (uint32 const   )tag) {
#line 420
      tv = td->td_customValues + iCustom;
#line 421
      if ((unsigned int )tv->value != (unsigned int )((void *)0)) {
#line 422
        _TIFFfree(tv->value);
#line 423
        tv->value = (void *)0;
      } else {

      }
#line 425
      break;
    } else {

    }
#line 418
    iCustom ++;
  }
#line 432
  if ((unsigned int )tv == (unsigned int )((void *)0)) {
#line 435
    (td->td_customValueCount) ++;
#line 436
    tmp___45 = _TIFFrealloc((void *)td->td_customValues,
                            (long )(sizeof(TIFFTagValue ) * (unsigned int )td->td_customValueCount));
#line 436
    new_customValues = (TIFFTagValue *)tmp___45;
#line 439
    if (! new_customValues) {
#line 440
      TIFFErrorExt(tif->tif_clientdata, module,
                   "%s: Failed to allocate space for list of custom values",
                   tif->tif_name);
#line 443
      status = 0;
      goto end;
    } else {

    }
#line 447
    td->td_customValues = new_customValues;
#line 449
    tv = td->td_customValues + (td->td_customValueCount - 1);
#line 450
    tv->info = fip;
#line 451
    tv->value = (void *)0;
#line 452
    tv->count = 0;
  } else {

  }
#line 458
  tv_size = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )fip->field_type);
#line 459
  if (tv_size == 0) {
#line 460
    status = 0;
#line 461
    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 468
  if ((unsigned int const   )fip->field_type == 2U) {
#line 472
    if (fip->field_passcount) {
#line 474
      if ((int const   )fip->field_writecount == -3) {

      } else {
#line 474
        __assert_fail("fip->field_writecount==-3", "tif_dir.c", 474U,
                      "_TIFFVSetField");
      }
#line 475
      tmp___46 = __builtin_va_arg(ap, uint32 );
#line 475
      ma = tmp___46;
#line 476
      tmp___47 = __builtin_va_arg(ap, char *);
#line 476
      mb = tmp___47;
    } else {
#line 480
      tmp___48 = __builtin_va_arg(ap, char *);
#line 480
      mb = tmp___48;
#line 481
      tmp___49 = strlen((char const   *)mb);
#line 481
      ma = tmp___49 + 1U;
    }
#line 483
    tv->count = (int )ma;
#line 484
    setByteArray(& tv->value, (void *)mb, ma, 1U);
  } else {
#line 488
    if (fip->field_passcount) {
#line 489
      if ((int const   )fip->field_writecount == -3) {
#line 490
        tmp___50 = __builtin_va_arg(ap, uint32 );
#line 490
        tv->count = (int )tmp___50;
      } else {
#line 492
        tmp___51 = __builtin_va_arg(ap, int );
#line 492
        tv->count = tmp___51;
      }
    } else {
#line 493
      if ((int const   )fip->field_writecount == -1) {
#line 495
        tv->count = 1;
      } else {
#line 493
        if ((int const   )fip->field_writecount == -3) {
#line 495
          tv->count = 1;
        } else {
#line 496
          if ((int const   )fip->field_writecount == -2) {
#line 497
            tv->count = (int )td->td_samplesperpixel;
          } else {
#line 499
            tv->count = (int )fip->field_writecount;
          }
        }
      }
    }
#line 502
    tv->value = _TIFFCheckMalloc(tif, (long )tv_size, (long )tv->count,
                                 "Tag Value");
#line 504
    if (! tv->value) {
#line 505
      status = 0;
      goto end;
    } else {

    }
#line 509
    if (fip->field_passcount) {
      goto _L___7;
    } else {
#line 509
      if ((int const   )fip->field_writecount == -1) {
        goto _L___7;
      } else {
#line 509
        if ((int const   )fip->field_writecount == -3) {
          goto _L___7;
        } else {
#line 509
          if ((int const   )fip->field_writecount == -2) {
            goto _L___7;
          } else {
#line 509
            if (tv->count > 1) {
              _L___7: /* CIL Label */ 
#line 509
              if (fip->field_tag != 297U) {
#line 509
                if (fip->field_tag != 321U) {
#line 509
                  if (fip->field_tag != 530U) {
#line 509
                    if (fip->field_tag != 336U) {
#line 518
                      tmp___52 = __builtin_va_arg(ap, void *);
#line 518
                      _TIFFmemcpy(tv->value, (void const   *)tmp___52,
                                  (long )(tv->count * tv_size));
                    } else {
                      goto _L___6;
                    }
                  } else {
                    goto _L___6;
                  }
                } else {
                  goto _L___6;
                }
              } else {
                goto _L___6;
              }
            } else {
              _L___6: /* CIL Label */ 
              _L___5: /* CIL Label */ 
              _L___4: /* CIL Label */ 
              _L___3: /* CIL Label */ 
#line 531
              val = (char *)tv->value;
#line 533
              i___0 = 0;
#line 533
              while (i___0 < tv->count) {
#line 534
                switch ((int )fip->field_type) {
                case 1: 
                case 7: 
#line 538
                tmp___53 = __builtin_va_arg(ap, int );
#line 538
                v___0 = (unsigned char )tmp___53;
#line 539
                _TIFFmemcpy((void *)val, (void const   *)(& v___0),
                            (long )tv_size);
#line 541
                break;
                case 6: 
#line 544
                tmp___54 = __builtin_va_arg(ap, int );
#line 544
                v___1 = (signed char )tmp___54;
#line 545
                _TIFFmemcpy((void *)val, (void const   *)(& v___1),
                            (long )tv_size);
#line 547
                break;
                case 3: 
#line 550
                tmp___55 = __builtin_va_arg(ap, int );
#line 550
                v___2 = (unsigned short )tmp___55;
#line 551
                _TIFFmemcpy((void *)val, (void const   *)(& v___2),
                            (long )tv_size);
#line 553
                break;
                case 8: 
#line 556
                tmp___56 = __builtin_va_arg(ap, int );
#line 556
                v___3 = (short )tmp___56;
#line 557
                _TIFFmemcpy((void *)val, (void const   *)(& v___3),
                            (long )tv_size);
#line 559
                break;
                case 4: 
                case 13: 
#line 563
                tmp___57 = __builtin_va_arg(ap, uint32 );
#line 563
                v___4 = tmp___57;
#line 564
                _TIFFmemcpy((void *)val, (void const   *)(& v___4),
                            (long )tv_size);
#line 566
                break;
                case 9: 
#line 569
                tmp___58 = __builtin_va_arg(ap, int32 );
#line 569
                v___5 = tmp___58;
#line 570
                _TIFFmemcpy((void *)val, (void const   *)(& v___5),
                            (long )tv_size);
#line 572
                break;
                case 16: 
                case 18: 
#line 576
                tmp___59 = __builtin_va_arg(ap, uint64 );
#line 576
                v___6 = tmp___59;
#line 577
                _TIFFmemcpy((void *)val, (void const   *)(& v___6),
                            (long )tv_size);
#line 579
                break;
                case 17: 
#line 582
                tmp___60 = __builtin_va_arg(ap, int64 );
#line 582
                v___7 = tmp___60;
#line 583
                _TIFFmemcpy((void *)val, (void const   *)(& v___7),
                            (long )tv_size);
#line 585
                break;
                case 5: 
                case 10: 
                case 11: 
#line 590
                tmp___61 = __builtin_va_arg(ap, double );
#line 590
                v___8 = (float )tmp___61;
#line 591
                _TIFFmemcpy((void *)val, (void const   *)(& v___8),
                            (long )tv_size);
#line 593
                break;
                case 12: 
#line 596
                tmp___62 = __builtin_va_arg(ap, double );
#line 596
                v___9 = tmp___62;
#line 597
                _TIFFmemcpy((void *)val, (void const   *)(& v___9),
                            (long )tv_size);
#line 599
                break;
                default: 
#line 601
                _TIFFmemset((void *)val, 0, (long )tv_size);
#line 602
                status = 0;
#line 603
                break;
                }
#line 533
                i___0 ++;
#line 533
                val += tv_size;
              }
            }
          }
        }
      }
    }
  }
  }
   625: /* CIL Label */ 
#line 610
  if (status) {
#line 611
    tmp___63 = TIFFFieldWithTag(tif, tag);
#line 611
    tmp___64 = TIFFFieldWithTag(tif, tag);
#line 611
    tif->tif_dir.td_fieldsset[(int const   )tmp___63->field_bit / 32] |= 1UL << ((int const   )tmp___64->field_bit & 31);
#line 612
    tif->tif_flags |= 8U;
  } else {

  }
   626: /* CIL Label */ 
  end: 
#line 616
  __builtin_va_end(ap);
   627: /* CIL Label */ 
#line 617
  return (status);
   628: /* CIL Label */ 
  badvalue: 
#line 619
  tmp___65 = TIFFFieldWithTag(tif, tag);
   629: /* CIL Label */ 
#line 619
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %d for \"%s\" tag",
               tif->tif_name, v, tmp___65->field_name);
   630: /* CIL Label */ 
#line 623
  __builtin_va_end(ap);
   631: /* CIL Label */ 
#line 624
  return (0);
   632: /* CIL Label */ 
  badvalue32: 
#line 626
  tmp___66 = TIFFFieldWithTag(tif, tag);
   633: /* CIL Label */ 
#line 626
  TIFFErrorExt(tif->tif_clientdata, module, "%s: Bad value %ld for \"%s\" tag",
               tif->tif_name, v32, tmp___66->field_name);
   634: /* CIL Label */ 
#line 630
  __builtin_va_end(ap);
   635: /* CIL Label */ 
#line 631
  return (0);
}
}

cilRep: liveness failure for _TIFFVSetField: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L___3: /* CIL Label */ 
_L___2: /* CIL Label */ 
_L___1: /* CIL Label */ 
_L___0: /* CIL Label */ 
#line 910
val = (char *)tv->value;
#line 912
j = 0;
Liveness failed on function:
 static int _TIFFVGetField(TIFF *tif , uint32 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 ;
  uint64 **tmp___27 ;
  uint64 **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 ;
  uint64 **tmp___43 ;
  uint16 *tmp___44 ;
  uint16 *tmp___45 ;
  uint16 *tmp___46 ;
  uint16 **tmp___47 ;
  uint16 **tmp___48 ;
  uint16 **tmp___49 ;
  char **tmp___50 ;
  TIFFField const   *fip ;
  TIFFField const   *tmp___51 ;
  int i ;
  char const   *tmp___52 ;
  char const   *tmp___53 ;
  TIFFTagValue *tv ;
  uint32 *tmp___54 ;
  uint16 *tmp___55 ;
  void **tmp___56 ;
  void **tmp___57 ;
  int j ;
  char *val ;
  int tmp___58 ;
  uint8 *tmp___59 ;
  int8 *tmp___60 ;
  uint16 *tmp___61 ;
  int16 *tmp___62 ;
  uint32 *tmp___63 ;
  int32 *tmp___64 ;
  uint64 *tmp___65 ;
  int64 *tmp___66 ;
  float *tmp___67 ;
  double *tmp___68 ;

  {
   855: /* CIL Label */ 
#line 703
  td = & tif->tif_dir;
   856: /* CIL Label */ 
#line 704
  ret_val = 1;
   0: /* CIL Label */ 
#line 706
  switch ((int )tag) {
  case 254: 
#line 708
  tmp = __builtin_va_arg(ap, uint32 *);
#line 708
  *tmp = td->td_subfiletype;
#line 709
  break;
  case 256: 
#line 711
  tmp___0 = __builtin_va_arg(ap, uint32 *);
#line 711
  *tmp___0 = td->td_imagewidth;
#line 712
  break;
  case 257: 
#line 714
  tmp___1 = __builtin_va_arg(ap, uint32 *);
#line 714
  *tmp___1 = td->td_imagelength;
#line 715
  break;
  case 258: 
#line 717
  tmp___2 = __builtin_va_arg(ap, uint16 *);
#line 717
  *tmp___2 = td->td_bitspersample;
#line 718
  break;
  case 259: 
#line 720
  tmp___3 = __builtin_va_arg(ap, uint16 *);
#line 720
  *tmp___3 = td->td_compression;
#line 721
  break;
  case 262: 
#line 723
  tmp___4 = __builtin_va_arg(ap, uint16 *);
#line 723
  *tmp___4 = td->td_photometric;
#line 724
  break;
  case 263: 
#line 726
  tmp___5 = __builtin_va_arg(ap, uint16 *);
#line 726
  *tmp___5 = td->td_threshholding;
#line 727
  break;
  case 266: 
#line 729
  tmp___6 = __builtin_va_arg(ap, uint16 *);
#line 729
  *tmp___6 = td->td_fillorder;
#line 730
  break;
  case 274: 
#line 732
  tmp___7 = __builtin_va_arg(ap, uint16 *);
#line 732
  *tmp___7 = td->td_orientation;
#line 733
  break;
  case 277: 
#line 735
  tmp___8 = __builtin_va_arg(ap, uint16 *);
#line 735
  *tmp___8 = td->td_samplesperpixel;
#line 736
  break;
  case 278: 
#line 738
  tmp___9 = __builtin_va_arg(ap, uint32 *);
#line 738
  *tmp___9 = td->td_rowsperstrip;
#line 739
  break;
  case 280: 
#line 741
  tmp___10 = __builtin_va_arg(ap, uint16 *);
#line 741
  *tmp___10 = td->td_minsamplevalue;
#line 742
  break;
  case 281: 
#line 744
  tmp___11 = __builtin_va_arg(ap, uint16 *);
#line 744
  *tmp___11 = td->td_maxsamplevalue;
#line 745
  break;
  case 340: 
#line 747
  tmp___12 = __builtin_va_arg(ap, double *);
#line 747
  *tmp___12 = td->td_sminsamplevalue;
#line 748
  break;
  case 341: 
#line 750
  tmp___13 = __builtin_va_arg(ap, double *);
#line 750
  *tmp___13 = td->td_smaxsamplevalue;
#line 751
  break;
  case 282: 
#line 753
  tmp___14 = __builtin_va_arg(ap, float *);
#line 753
  *tmp___14 = td->td_xresolution;
#line 754
  break;
  case 283: 
#line 756
  tmp___15 = __builtin_va_arg(ap, float *);
#line 756
  *tmp___15 = td->td_yresolution;
#line 757
  break;
  case 284: 
#line 759
  tmp___16 = __builtin_va_arg(ap, uint16 *);
#line 759
  *tmp___16 = td->td_planarconfig;
#line 760
  break;
  case 286: 
#line 762
  tmp___17 = __builtin_va_arg(ap, float *);
#line 762
  *tmp___17 = td->td_xposition;
#line 763
  break;
  case 287: 
#line 765
  tmp___18 = __builtin_va_arg(ap, float *);
#line 765
  *tmp___18 = td->td_yposition;
#line 766
  break;
  case 296: 
#line 768
  tmp___19 = __builtin_va_arg(ap, uint16 *);
#line 768
  *tmp___19 = td->td_resolutionunit;
#line 769
  break;
  case 297: 
#line 771
  tmp___20 = __builtin_va_arg(ap, uint16 *);
#line 771
  *tmp___20 = td->td_pagenumber[0];
#line 772
  tmp___21 = __builtin_va_arg(ap, uint16 *);
#line 772
  *tmp___21 = td->td_pagenumber[1];
#line 773
  break;
  case 321: 
#line 775
  tmp___22 = __builtin_va_arg(ap, uint16 *);
#line 775
  *tmp___22 = td->td_halftonehints[0];
#line 776
  tmp___23 = __builtin_va_arg(ap, uint16 *);
#line 776
  *tmp___23 = td->td_halftonehints[1];
#line 777
  break;
  case 320: 
#line 779
  tmp___24 = __builtin_va_arg(ap, uint16 **);
#line 779
  *tmp___24 = td->td_colormap[0];
#line 780
  tmp___25 = __builtin_va_arg(ap, uint16 **);
#line 780
  *tmp___25 = td->td_colormap[1];
#line 781
  tmp___26 = __builtin_va_arg(ap, uint16 **);
#line 781
  *tmp___26 = td->td_colormap[2];
#line 782
  break;
  case 273: 
  case 324: 
#line 785
  tmp___27 = __builtin_va_arg(ap, uint64 **);
#line 785
  *tmp___27 = td->td_stripoffset;
#line 786
  break;
  case 279: 
  case 325: 
#line 789
  tmp___28 = __builtin_va_arg(ap, uint64 **);
#line 789
  *tmp___28 = td->td_stripbytecount;
#line 790
  break;
  case 32995: 
#line 792
  tmp___29 = __builtin_va_arg(ap, uint16 *);
#line 792
  if ((int )td->td_extrasamples == 1) {
#line 792
    if ((int )*(td->td_sampleinfo + 0) == 1) {
#line 792
      tmp___30 = 1;
    } else {
#line 792
      tmp___30 = 0;
    }
  } else {
#line 792
    tmp___30 = 0;
  }
#line 792
  *tmp___29 = (unsigned short )tmp___30;
#line 795
  break;
  case 338: 
#line 797
  tmp___31 = __builtin_va_arg(ap, uint16 *);
#line 797
  *tmp___31 = td->td_extrasamples;
#line 798
  tmp___32 = __builtin_va_arg(ap, uint16 **);
#line 798
  *tmp___32 = td->td_sampleinfo;
#line 799
  break;
  case 322: 
#line 801
  tmp___33 = __builtin_va_arg(ap, uint32 *);
#line 801
  *tmp___33 = td->td_tilewidth;
#line 802
  break;
  case 323: 
#line 804
  tmp___34 = __builtin_va_arg(ap, uint32 *);
#line 804
  *tmp___34 = td->td_tilelength;
#line 805
  break;
  case 32998: 
#line 807
  tmp___35 = __builtin_va_arg(ap, uint32 *);
#line 807
  *tmp___35 = td->td_tiledepth;
#line 808
  break;
  case 32996: 
#line 810
  switch ((int )td->td_sampleformat) {
  case 1: 
#line 812
  tmp___36 = __builtin_va_arg(ap, uint16 *);
#line 812
  *tmp___36 = (unsigned short)2;
#line 813
  break;
  case 2: 
#line 815
  tmp___37 = __builtin_va_arg(ap, uint16 *);
#line 815
  *tmp___37 = (unsigned short)1;
#line 816
  break;
  case 3: 
#line 818
  tmp___38 = __builtin_va_arg(ap, uint16 *);
#line 818
  *tmp___38 = (unsigned short)3;
#line 819
  break;
  case 4: 
#line 821
  tmp___39 = __builtin_va_arg(ap, uint16 *);
#line 821
  *tmp___39 = (unsigned short)0;
#line 822
  break;
  }
#line 824
  break;
  case 339: 
#line 826
  tmp___40 = __builtin_va_arg(ap, uint16 *);
#line 826
  *tmp___40 = td->td_sampleformat;
#line 827
  break;
  case 32997: 
#line 829
  tmp___41 = __builtin_va_arg(ap, uint32 *);
#line 829
  *tmp___41 = td->td_imagedepth;
#line 830
  break;
  case 330: 
#line 832
  tmp___42 = __builtin_va_arg(ap, uint16 *);
#line 832
  *tmp___42 = td->td_nsubifd;
#line 833
  tmp___43 = __builtin_va_arg(ap, uint64 **);
#line 833
  *tmp___43 = td->td_subifd;
#line 834
  break;
  case 531: 
#line 836
  tmp___44 = __builtin_va_arg(ap, uint16 *);
#line 836
  *tmp___44 = td->td_ycbcrpositioning;
#line 837
  break;
  case 530: 
#line 839
  tmp___45 = __builtin_va_arg(ap, uint16 *);
#line 839
  *tmp___45 = td->td_ycbcrsubsampling[0];
#line 840
  tmp___46 = __builtin_va_arg(ap, uint16 *);
#line 840
  *tmp___46 = td->td_ycbcrsubsampling[1];
#line 841
  break;
  case 301: 
#line 843
  tmp___47 = __builtin_va_arg(ap, uint16 **);
#line 843
  *tmp___47 = td->td_transferfunction[0];
#line 844
  if ((int )td->td_samplesperpixel - (int )td->td_extrasamples > 1) {
#line 845
    tmp___48 = __builtin_va_arg(ap, uint16 **);
#line 845
    *tmp___48 = td->td_transferfunction[1];
#line 846
    tmp___49 = __builtin_va_arg(ap, uint16 **);
#line 846
    *tmp___49 = td->td_transferfunction[2];
  } else {

  }
#line 848
  break;
  case 333: 
#line 850
  tmp___50 = __builtin_va_arg(ap, char **);
#line 850
  *tmp___50 = td->td_inknames;
#line 851
  break;
  default: 
#line 854
  tmp___51 = TIFFFindField(tif, tag, (enum __anonenum_TIFFDataType_21 )0);
#line 854
  fip = tmp___51;
#line 867
  if ((unsigned int )fip == (unsigned int )((void *)0)) {
    goto _L;
  } else {
#line 867
    if ((int const   )fip->field_bit != 65) {
      _L: /* CIL Label */ 
#line 869
      if (fip) {
#line 869
        tmp___52 = (char const   */* const  */)fip->field_name;
      } else {
#line 869
        tmp___52 = (char const   */* const  */)"Unknown";
      }
#line 869
      if (tag > 65535U) {
#line 869
        tmp___53 = "pseudo-";
      } else {
#line 869
        tmp___53 = "";
      }
#line 869
      TIFFErrorExt(tif->tif_clientdata, "_TIFFVGetField",
                   "%s: Invalid %stag \"%s\" (not supported by codec)",
                   tif->tif_name, tmp___53, tmp___52);
#line 875
      ret_val = 0;
#line 876
      break;
    } else {

    }
  }
#line 882
  ret_val = 0;
#line 883
  i = 0;
#line 883
  while (i < td->td_customValueCount) {
#line 884
    tv = td->td_customValues + i;
#line 886
    if ((tv->info)->field_tag != (uint32 const   )tag) {
      goto __Cont;
    } else {

    }
#line 889
    if (fip->field_passcount) {
#line 890
      if ((int const   )fip->field_readcount == -3) {
#line 891
        tmp___54 = __builtin_va_arg(ap, uint32 *);
#line 891
        *tmp___54 = (unsigned int )tv->count;
      } else {
#line 893
        tmp___55 = __builtin_va_arg(ap, uint16 *);
#line 893
        *tmp___55 = (unsigned short )tv->count;
      }
#line 894
      tmp___56 = __builtin_va_arg(ap, void **);
#line 894
      *tmp___56 = tv->value;
#line 895
      ret_val = 1;
    } else {
#line 897
      if ((unsigned int const   )fip->field_type == 2U) {
        goto _L___4;
      } else {
#line 897
        if ((int const   )fip->field_readcount == -1) {
          goto _L___4;
        } else {
#line 897
          if ((int const   )fip->field_readcount == -3) {
            goto _L___4;
          } else {
#line 897
            if ((int const   )fip->field_readcount == -2) {
              goto _L___4;
            } else {
#line 897
              if (tv->count > 1) {
                _L___4: /* CIL Label */ 
#line 897
                if (fip->field_tag != 297U) {
#line 897
                  if (fip->field_tag != 321U) {
#line 897
                    if (fip->field_tag != 530U) {
#line 897
                      if (fip->field_tag != 336U) {
#line 906
                        tmp___57 = __builtin_va_arg(ap, void **);
#line 906
                        *tmp___57 = tv->value;
#line 907
                        ret_val = 1;
                      } else {
                        goto _L___3;
                      }
                    } else {
                      goto _L___3;
                    }
                  } else {
                    goto _L___3;
                  }
                } else {
                  goto _L___3;
                }
              } else {
                _L___3: /* CIL Label */ 
                _L___2: /* CIL Label */ 
                _L___1: /* CIL Label */ 
                _L___0: /* CIL Label */ 
#line 910
                val = (char *)tv->value;
#line 912
                j = 0;
#line 912
                while (j < tv->count) {
#line 914
                  switch ((int )fip->field_type) {
                  case 1: 
                  case 7: 
#line 917
                  tmp___59 = __builtin_va_arg(ap, uint8 *);
#line 917
                  *tmp___59 = *((uint8 *)val);
#line 919
                  ret_val = 1;
#line 920
                  break;
                  case 6: 
#line 922
                  tmp___60 = __builtin_va_arg(ap, int8 *);
#line 922
                  *tmp___60 = *((int8 *)val);
#line 924
                  ret_val = 1;
#line 925
                  break;
                  case 3: 
#line 927
                  tmp___61 = __builtin_va_arg(ap, uint16 *);
#line 927
                  *tmp___61 = *((uint16 *)val);
#line 929
                  ret_val = 1;
#line 930
                  break;
                  case 8: 
#line 932
                  tmp___62 = __builtin_va_arg(ap, int16 *);
#line 932
                  *tmp___62 = *((int16 *)val);
#line 934
                  ret_val = 1;
#line 935
                  break;
                  case 4: 
                  case 13: 
#line 938
                  tmp___63 = __builtin_va_arg(ap, uint32 *);
#line 938
                  *tmp___63 = *((uint32 *)val);
#line 940
                  ret_val = 1;
#line 941
                  break;
                  case 9: 
#line 943
                  tmp___64 = __builtin_va_arg(ap, int32 *);
#line 943
                  *tmp___64 = *((int32 *)val);
#line 945
                  ret_val = 1;
#line 946
                  break;
                  case 16: 
                  case 18: 
#line 949
                  tmp___65 = __builtin_va_arg(ap, uint64 *);
#line 949
                  *tmp___65 = *((uint64 *)val);
#line 951
                  ret_val = 1;
#line 952
                  break;
                  case 17: 
#line 954
                  tmp___66 = __builtin_va_arg(ap, int64 *);
#line 954
                  *tmp___66 = *((int64 *)val);
#line 956
                  ret_val = 1;
#line 957
                  break;
                  case 5: 
                  case 10: 
                  case 11: 
#line 961
                  tmp___67 = __builtin_va_arg(ap, float *);
#line 961
                  *tmp___67 = *((float *)val);
#line 963
                  ret_val = 1;
#line 964
                  break;
                  case 12: 
#line 966
                  tmp___68 = __builtin_va_arg(ap, double *);
#line 966
                  *tmp___68 = *((double *)val);
#line 968
                  ret_val = 1;
#line 969
                  break;
                  default: 
#line 971
                  ret_val = 0;
#line 972
                  break;
                  }
#line 912
                  j ++;
#line 912
                  tmp___58 = _TIFFDataSize((enum __anonenum_TIFFDataType_21 )(tv->info)->field_type);
#line 912
                  val += tmp___58;
                }
              }
            }
          }
        }
      }
    }
#line 977
    break;
    __Cont: /* CIL Label */ 
#line 883
    i ++;
  }
  }
   857: /* CIL Label */ 
#line 981
  return (ret_val);
}
}

cilRep: liveness failure for _TIFFVGetField: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/libtiff/tif_dirread.c: parsing
Error: There were parsing errors in preprocessed/libtiff/tif_dirread.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: 1.83963
  Activity Name                     Count Seconds = Percent of Total Time
  TOTAL                                     0.000 = 0% (avg CPU usage)
Fatal error: exception Errormsg.Error
libtiff-bug-5e6542ee-e779b6cd.tar.gz
Tue May  7 21:38:23 EDT 2013
shutting down
