Showing error 1362

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-regression/alt_test.c_unsafe.i
Line in file: 1783
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

   1# 1 "files/alt_test.c"
   2# 1 "<built-in>"
   3# 1 "<command-line>"
   4# 1 "files/alt_test.c"
   5# 1 "/usr/include/stdio.h" 1 3 4
   6# 28 "/usr/include/stdio.h" 3 4
   7# 1 "/usr/include/features.h" 1 3 4
   8# 347 "/usr/include/features.h" 3 4
   9# 1 "/usr/include/sys/cdefs.h" 1 3 4
  10# 353 "/usr/include/sys/cdefs.h" 3 4
  11# 1 "/usr/include/bits/wordsize.h" 1 3 4
  12# 354 "/usr/include/sys/cdefs.h" 2 3 4
  13# 348 "/usr/include/features.h" 2 3 4
  14# 371 "/usr/include/features.h" 3 4
  15# 1 "/usr/include/gnu/stubs.h" 1 3 4
  16
  17
  18
  19# 1 "/usr/include/bits/wordsize.h" 1 3 4
  20# 5 "/usr/include/gnu/stubs.h" 2 3 4
  21
  22
  23
  24
  25# 1 "/usr/include/gnu/stubs-64.h" 1 3 4
  26# 10 "/usr/include/gnu/stubs.h" 2 3 4
  27# 372 "/usr/include/features.h" 2 3 4
  28# 29 "/usr/include/stdio.h" 2 3 4
  29
  30
  31
  32
  33
  34# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
  35# 211 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 3 4
  36typedef long unsigned int size_t;
  37# 35 "/usr/include/stdio.h" 2 3 4
  38
  39# 1 "/usr/include/bits/types.h" 1 3 4
  40# 28 "/usr/include/bits/types.h" 3 4
  41# 1 "/usr/include/bits/wordsize.h" 1 3 4
  42# 29 "/usr/include/bits/types.h" 2 3 4
  43
  44
  45typedef unsigned char __u_char;
  46typedef unsigned short int __u_short;
  47typedef unsigned int __u_int;
  48typedef unsigned long int __u_long;
  49
  50
  51typedef signed char __int8_t;
  52typedef unsigned char __uint8_t;
  53typedef signed short int __int16_t;
  54typedef unsigned short int __uint16_t;
  55typedef signed int __int32_t;
  56typedef unsigned int __uint32_t;
  57
  58typedef signed long int __int64_t;
  59typedef unsigned long int __uint64_t;
  60
  61
  62
  63
  64
  65
  66
  67typedef long int __quad_t;
  68typedef unsigned long int __u_quad_t;
  69# 131 "/usr/include/bits/types.h" 3 4
  70# 1 "/usr/include/bits/typesizes.h" 1 3 4
  71# 132 "/usr/include/bits/types.h" 2 3 4
  72
  73
  74typedef unsigned long int __dev_t;
  75typedef unsigned int __uid_t;
  76typedef unsigned int __gid_t;
  77typedef unsigned long int __ino_t;
  78typedef unsigned long int __ino64_t;
  79typedef unsigned int __mode_t;
  80typedef unsigned long int __nlink_t;
  81typedef long int __off_t;
  82typedef long int __off64_t;
  83typedef int __pid_t;
  84typedef struct { int __val[2]; } __fsid_t;
  85typedef long int __clock_t;
  86typedef unsigned long int __rlim_t;
  87typedef unsigned long int __rlim64_t;
  88typedef unsigned int __id_t;
  89typedef long int __time_t;
  90typedef unsigned int __useconds_t;
  91typedef long int __suseconds_t;
  92
  93typedef int __daddr_t;
  94typedef long int __swblk_t;
  95typedef int __key_t;
  96
  97
  98typedef int __clockid_t;
  99
 100
 101typedef void * __timer_t;
 102
 103
 104typedef long int __blksize_t;
 105
 106
 107
 108
 109typedef long int __blkcnt_t;
 110typedef long int __blkcnt64_t;
 111
 112
 113typedef unsigned long int __fsblkcnt_t;
 114typedef unsigned long int __fsblkcnt64_t;
 115
 116
 117typedef unsigned long int __fsfilcnt_t;
 118typedef unsigned long int __fsfilcnt64_t;
 119
 120typedef long int __ssize_t;
 121
 122
 123
 124typedef __off64_t __loff_t;
 125typedef __quad_t *__qaddr_t;
 126typedef char *__caddr_t;
 127
 128
 129typedef long int __intptr_t;
 130
 131
 132typedef unsigned int __socklen_t;
 133# 37 "/usr/include/stdio.h" 2 3 4
 134# 45 "/usr/include/stdio.h" 3 4
 135struct _IO_FILE;
 136
 137
 138
 139typedef struct _IO_FILE FILE;
 140
 141
 142
 143
 144
 145# 65 "/usr/include/stdio.h" 3 4
 146typedef struct _IO_FILE __FILE;
 147# 75 "/usr/include/stdio.h" 3 4
 148# 1 "/usr/include/libio.h" 1 3 4
 149# 32 "/usr/include/libio.h" 3 4
 150# 1 "/usr/include/_G_config.h" 1 3 4
 151# 15 "/usr/include/_G_config.h" 3 4
 152# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
 153# 16 "/usr/include/_G_config.h" 2 3 4
 154
 155
 156
 157
 158# 1 "/usr/include/wchar.h" 1 3 4
 159# 83 "/usr/include/wchar.h" 3 4
 160typedef struct
 161{
 162  int __count;
 163  union
 164  {
 165
 166    unsigned int __wch;
 167
 168
 169
 170    char __wchb[4];
 171  } __value;
 172} __mbstate_t;
 173# 21 "/usr/include/_G_config.h" 2 3 4
 174
 175typedef struct
 176{
 177  __off_t __pos;
 178  __mbstate_t __state;
 179} _G_fpos_t;
 180typedef struct
 181{
 182  __off64_t __pos;
 183  __mbstate_t __state;
 184} _G_fpos64_t;
 185# 53 "/usr/include/_G_config.h" 3 4
 186typedef int _G_int16_t __attribute__ ((__mode__ (__HI__)));
 187typedef int _G_int32_t __attribute__ ((__mode__ (__SI__)));
 188typedef unsigned int _G_uint16_t __attribute__ ((__mode__ (__HI__)));
 189typedef unsigned int _G_uint32_t __attribute__ ((__mode__ (__SI__)));
 190# 33 "/usr/include/libio.h" 2 3 4
 191# 53 "/usr/include/libio.h" 3 4
 192# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stdarg.h" 1 3 4
 193# 40 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stdarg.h" 3 4
 194typedef __builtin_va_list __gnuc_va_list;
 195# 54 "/usr/include/libio.h" 2 3 4
 196# 170 "/usr/include/libio.h" 3 4
 197struct _IO_jump_t; struct _IO_FILE;
 198# 180 "/usr/include/libio.h" 3 4
 199typedef void _IO_lock_t;
 200
 201
 202
 203
 204
 205struct _IO_marker {
 206  struct _IO_marker *_next;
 207  struct _IO_FILE *_sbuf;
 208
 209
 210
 211  int _pos;
 212# 203 "/usr/include/libio.h" 3 4
 213};
 214
 215
 216enum __codecvt_result
 217{
 218  __codecvt_ok,
 219  __codecvt_partial,
 220  __codecvt_error,
 221  __codecvt_noconv
 222};
 223# 271 "/usr/include/libio.h" 3 4
 224struct _IO_FILE {
 225  int _flags;
 226
 227
 228
 229
 230  char* _IO_read_ptr;
 231  char* _IO_read_end;
 232  char* _IO_read_base;
 233  char* _IO_write_base;
 234  char* _IO_write_ptr;
 235  char* _IO_write_end;
 236  char* _IO_buf_base;
 237  char* _IO_buf_end;
 238
 239  char *_IO_save_base;
 240  char *_IO_backup_base;
 241  char *_IO_save_end;
 242
 243  struct _IO_marker *_markers;
 244
 245  struct _IO_FILE *_chain;
 246
 247  int _fileno;
 248
 249
 250
 251  int _flags2;
 252
 253  __off_t _old_offset;
 254
 255
 256
 257  unsigned short _cur_column;
 258  signed char _vtable_offset;
 259  char _shortbuf[1];
 260
 261
 262
 263  _IO_lock_t *_lock;
 264# 319 "/usr/include/libio.h" 3 4
 265  __off64_t _offset;
 266# 328 "/usr/include/libio.h" 3 4
 267  void *__pad1;
 268  void *__pad2;
 269  void *__pad3;
 270  void *__pad4;
 271  size_t __pad5;
 272
 273  int _mode;
 274
 275  char _unused2[15 * sizeof (int) - 4 * sizeof (void *) - sizeof (size_t)];
 276
 277};
 278
 279
 280typedef struct _IO_FILE _IO_FILE;
 281
 282
 283struct _IO_FILE_plus;
 284
 285extern struct _IO_FILE_plus _IO_2_1_stdin_;
 286extern struct _IO_FILE_plus _IO_2_1_stdout_;
 287extern struct _IO_FILE_plus _IO_2_1_stderr_;
 288# 364 "/usr/include/libio.h" 3 4
 289typedef __ssize_t __io_read_fn (void *__cookie, char *__buf, size_t __nbytes);
 290
 291
 292
 293
 294
 295
 296
 297typedef __ssize_t __io_write_fn (void *__cookie, __const char *__buf,
 298     size_t __n);
 299
 300
 301
 302
 303
 304
 305
 306typedef int __io_seek_fn (void *__cookie, __off64_t *__pos, int __w);
 307
 308
 309typedef int __io_close_fn (void *__cookie);
 310# 416 "/usr/include/libio.h" 3 4
 311extern int __underflow (_IO_FILE *);
 312extern int __uflow (_IO_FILE *);
 313extern int __overflow (_IO_FILE *, int);
 314# 460 "/usr/include/libio.h" 3 4
 315extern int _IO_getc (_IO_FILE *__fp);
 316extern int _IO_putc (int __c, _IO_FILE *__fp);
 317extern int _IO_feof (_IO_FILE *__fp) __attribute__ ((__nothrow__));
 318extern int _IO_ferror (_IO_FILE *__fp) __attribute__ ((__nothrow__));
 319
 320extern int _IO_peekc_locked (_IO_FILE *__fp);
 321
 322
 323
 324
 325
 326extern void _IO_flockfile (_IO_FILE *) __attribute__ ((__nothrow__));
 327extern void _IO_funlockfile (_IO_FILE *) __attribute__ ((__nothrow__));
 328extern int _IO_ftrylockfile (_IO_FILE *) __attribute__ ((__nothrow__));
 329# 490 "/usr/include/libio.h" 3 4
 330extern int _IO_vfscanf (_IO_FILE * __restrict, const char * __restrict,
 331   __gnuc_va_list, int *__restrict);
 332extern int _IO_vfprintf (_IO_FILE *__restrict, const char *__restrict,
 333    __gnuc_va_list);
 334extern __ssize_t _IO_padn (_IO_FILE *, int, __ssize_t);
 335extern size_t _IO_sgetn (_IO_FILE *, void *, size_t);
 336
 337extern __off64_t _IO_seekoff (_IO_FILE *, __off64_t, int, int);
 338extern __off64_t _IO_seekpos (_IO_FILE *, __off64_t, int);
 339
 340extern void _IO_free_backup_area (_IO_FILE *) __attribute__ ((__nothrow__));
 341# 76 "/usr/include/stdio.h" 2 3 4
 342# 89 "/usr/include/stdio.h" 3 4
 343
 344
 345typedef _G_fpos_t fpos_t;
 346
 347
 348
 349
 350# 141 "/usr/include/stdio.h" 3 4
 351# 1 "/usr/include/bits/stdio_lim.h" 1 3 4
 352# 142 "/usr/include/stdio.h" 2 3 4
 353
 354
 355
 356extern struct _IO_FILE *stdin;
 357extern struct _IO_FILE *stdout;
 358extern struct _IO_FILE *stderr;
 359
 360
 361
 362
 363
 364
 365
 366
 367
 368extern int remove (__const char *__filename) __attribute__ ((__nothrow__));
 369
 370extern int rename (__const char *__old, __const char *__new) __attribute__ ((__nothrow__));
 371
 372
 373
 374
 375extern int renameat (int __oldfd, __const char *__old, int __newfd,
 376       __const char *__new) __attribute__ ((__nothrow__));
 377
 378
 379
 380
 381
 382
 383
 384
 385extern FILE *tmpfile (void) ;
 386# 188 "/usr/include/stdio.h" 3 4
 387extern char *tmpnam (char *__s) __attribute__ ((__nothrow__)) ;
 388
 389
 390
 391
 392
 393extern char *tmpnam_r (char *__s) __attribute__ ((__nothrow__)) ;
 394# 206 "/usr/include/stdio.h" 3 4
 395extern char *tempnam (__const char *__dir, __const char *__pfx)
 396     __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
 397
 398
 399
 400
 401
 402
 403
 404
 405extern int fclose (FILE *__stream);
 406
 407
 408
 409
 410extern int fflush (FILE *__stream);
 411
 412# 231 "/usr/include/stdio.h" 3 4
 413extern int fflush_unlocked (FILE *__stream);
 414# 245 "/usr/include/stdio.h" 3 4
 415
 416
 417
 418
 419
 420
 421extern FILE *fopen (__const char *__restrict __filename,
 422      __const char *__restrict __modes) ;
 423
 424
 425
 426
 427extern FILE *freopen (__const char *__restrict __filename,
 428        __const char *__restrict __modes,
 429        FILE *__restrict __stream) ;
 430# 274 "/usr/include/stdio.h" 3 4
 431
 432# 285 "/usr/include/stdio.h" 3 4
 433extern FILE *fdopen (int __fd, __const char *__modes) __attribute__ ((__nothrow__)) ;
 434# 298 "/usr/include/stdio.h" 3 4
 435extern FILE *fmemopen (void *__s, size_t __len, __const char *__modes)
 436  __attribute__ ((__nothrow__)) ;
 437
 438
 439
 440
 441extern FILE *open_memstream (char **__bufloc, size_t *__sizeloc) __attribute__ ((__nothrow__)) ;
 442
 443
 444
 445
 446
 447
 448extern void setbuf (FILE *__restrict __stream, char *__restrict __buf) __attribute__ ((__nothrow__));
 449
 450
 451
 452extern int setvbuf (FILE *__restrict __stream, char *__restrict __buf,
 453      int __modes, size_t __n) __attribute__ ((__nothrow__));
 454
 455
 456
 457
 458
 459extern void setbuffer (FILE *__restrict __stream, char *__restrict __buf,
 460         size_t __size) __attribute__ ((__nothrow__));
 461
 462
 463extern void setlinebuf (FILE *__stream) __attribute__ ((__nothrow__));
 464
 465
 466
 467
 468
 469
 470
 471
 472extern int fprintf (FILE *__restrict __stream,
 473      __const char *__restrict __format, ...);
 474
 475
 476
 477
 478extern int printf (__const char *__restrict __format, ...);
 479
 480extern int sprintf (char *__restrict __s,
 481      __const char *__restrict __format, ...) __attribute__ ((__nothrow__));
 482
 483
 484
 485
 486
 487extern int vfprintf (FILE *__restrict __s, __const char *__restrict __format,
 488       __gnuc_va_list __arg);
 489
 490
 491
 492
 493extern int vprintf (__const char *__restrict __format, __gnuc_va_list __arg);
 494
 495extern int vsprintf (char *__restrict __s, __const char *__restrict __format,
 496       __gnuc_va_list __arg) __attribute__ ((__nothrow__));
 497
 498
 499
 500
 501
 502extern int snprintf (char *__restrict __s, size_t __maxlen,
 503       __const char *__restrict __format, ...)
 504     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 4)));
 505
 506extern int vsnprintf (char *__restrict __s, size_t __maxlen,
 507        __const char *__restrict __format, __gnuc_va_list __arg)
 508     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 0)));
 509
 510# 396 "/usr/include/stdio.h" 3 4
 511extern int vdprintf (int __fd, __const char *__restrict __fmt,
 512       __gnuc_va_list __arg)
 513     __attribute__ ((__format__ (__printf__, 2, 0)));
 514extern int dprintf (int __fd, __const char *__restrict __fmt, ...)
 515     __attribute__ ((__format__ (__printf__, 2, 3)));
 516
 517
 518
 519
 520
 521
 522
 523
 524extern int fscanf (FILE *__restrict __stream,
 525     __const char *__restrict __format, ...) ;
 526
 527
 528
 529
 530extern int scanf (__const char *__restrict __format, ...) ;
 531
 532extern int sscanf (__const char *__restrict __s,
 533     __const char *__restrict __format, ...) __attribute__ ((__nothrow__));
 534# 427 "/usr/include/stdio.h" 3 4
 535extern int fscanf (FILE *__restrict __stream, __const char *__restrict __format, ...) __asm__ ("" "__isoc99_fscanf")
 536
 537                               ;
 538extern int scanf (__const char *__restrict __format, ...) __asm__ ("" "__isoc99_scanf")
 539                              ;
 540extern int sscanf (__const char *__restrict __s, __const char *__restrict __format, ...) __asm__ ("" "__isoc99_sscanf") __attribute__ ((__nothrow__))
 541
 542                      ;
 543# 447 "/usr/include/stdio.h" 3 4
 544
 545
 546
 547
 548
 549
 550
 551
 552extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format,
 553      __gnuc_va_list __arg)
 554     __attribute__ ((__format__ (__scanf__, 2, 0))) ;
 555
 556
 557
 558
 559
 560extern int vscanf (__const char *__restrict __format, __gnuc_va_list __arg)
 561     __attribute__ ((__format__ (__scanf__, 1, 0))) ;
 562
 563
 564extern int vsscanf (__const char *__restrict __s,
 565      __const char *__restrict __format, __gnuc_va_list __arg)
 566     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__scanf__, 2, 0)));
 567# 478 "/usr/include/stdio.h" 3 4
 568extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vfscanf")
 569
 570
 571
 572     __attribute__ ((__format__ (__scanf__, 2, 0))) ;
 573extern int vscanf (__const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vscanf")
 574
 575     __attribute__ ((__format__ (__scanf__, 1, 0))) ;
 576extern int vsscanf (__const char *__restrict __s, __const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vsscanf") __attribute__ ((__nothrow__))
 577
 578
 579
 580     __attribute__ ((__format__ (__scanf__, 2, 0)));
 581# 506 "/usr/include/stdio.h" 3 4
 582
 583
 584
 585
 586
 587
 588
 589
 590
 591extern int fgetc (FILE *__stream);
 592extern int getc (FILE *__stream);
 593
 594
 595
 596
 597
 598extern int getchar (void);
 599
 600# 534 "/usr/include/stdio.h" 3 4
 601extern int getc_unlocked (FILE *__stream);
 602extern int getchar_unlocked (void);
 603# 545 "/usr/include/stdio.h" 3 4
 604extern int fgetc_unlocked (FILE *__stream);
 605
 606
 607
 608
 609
 610
 611
 612
 613
 614
 615
 616extern int fputc (int __c, FILE *__stream);
 617extern int putc (int __c, FILE *__stream);
 618
 619
 620
 621
 622
 623extern int putchar (int __c);
 624
 625# 578 "/usr/include/stdio.h" 3 4
 626extern int fputc_unlocked (int __c, FILE *__stream);
 627
 628
 629
 630
 631
 632
 633
 634extern int putc_unlocked (int __c, FILE *__stream);
 635extern int putchar_unlocked (int __c);
 636
 637
 638
 639
 640
 641
 642extern int getw (FILE *__stream);
 643
 644
 645extern int putw (int __w, FILE *__stream);
 646
 647
 648
 649
 650
 651
 652
 653
 654extern char *fgets (char *__restrict __s, int __n, FILE *__restrict __stream)
 655     ;
 656
 657
 658
 659
 660
 661
 662extern char *gets (char *__s) ;
 663
 664# 640 "/usr/include/stdio.h" 3 4
 665extern __ssize_t __getdelim (char **__restrict __lineptr,
 666          size_t *__restrict __n, int __delimiter,
 667          FILE *__restrict __stream) ;
 668extern __ssize_t getdelim (char **__restrict __lineptr,
 669        size_t *__restrict __n, int __delimiter,
 670        FILE *__restrict __stream) ;
 671
 672
 673
 674
 675
 676
 677
 678extern __ssize_t getline (char **__restrict __lineptr,
 679       size_t *__restrict __n,
 680       FILE *__restrict __stream) ;
 681
 682
 683
 684
 685
 686
 687
 688
 689extern int fputs (__const char *__restrict __s, FILE *__restrict __stream);
 690
 691
 692
 693
 694
 695extern int puts (__const char *__s);
 696
 697
 698
 699
 700
 701
 702extern int ungetc (int __c, FILE *__stream);
 703
 704
 705
 706
 707
 708
 709extern size_t fread (void *__restrict __ptr, size_t __size,
 710       size_t __n, FILE *__restrict __stream) ;
 711
 712
 713
 714
 715extern size_t fwrite (__const void *__restrict __ptr, size_t __size,
 716        size_t __n, FILE *__restrict __s) ;
 717
 718# 712 "/usr/include/stdio.h" 3 4
 719extern size_t fread_unlocked (void *__restrict __ptr, size_t __size,
 720         size_t __n, FILE *__restrict __stream) ;
 721extern size_t fwrite_unlocked (__const void *__restrict __ptr, size_t __size,
 722          size_t __n, FILE *__restrict __stream) ;
 723
 724
 725
 726
 727
 728
 729
 730
 731extern int fseek (FILE *__stream, long int __off, int __whence);
 732
 733
 734
 735
 736extern long int ftell (FILE *__stream) ;
 737
 738
 739
 740
 741extern void rewind (FILE *__stream);
 742
 743# 748 "/usr/include/stdio.h" 3 4
 744extern int fseeko (FILE *__stream, __off_t __off, int __whence);
 745
 746
 747
 748
 749extern __off_t ftello (FILE *__stream) ;
 750# 767 "/usr/include/stdio.h" 3 4
 751
 752
 753
 754
 755
 756
 757extern int fgetpos (FILE *__restrict __stream, fpos_t *__restrict __pos);
 758
 759
 760
 761
 762extern int fsetpos (FILE *__stream, __const fpos_t *__pos);
 763# 790 "/usr/include/stdio.h" 3 4
 764
 765# 799 "/usr/include/stdio.h" 3 4
 766
 767
 768extern void clearerr (FILE *__stream) __attribute__ ((__nothrow__));
 769
 770extern int feof (FILE *__stream) __attribute__ ((__nothrow__)) ;
 771
 772extern int ferror (FILE *__stream) __attribute__ ((__nothrow__)) ;
 773
 774
 775
 776
 777extern void clearerr_unlocked (FILE *__stream) __attribute__ ((__nothrow__));
 778extern int feof_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
 779extern int ferror_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
 780
 781
 782
 783
 784
 785
 786
 787
 788extern void perror (__const char *__s);
 789
 790
 791
 792
 793
 794
 795# 1 "/usr/include/bits/sys_errlist.h" 1 3 4
 796# 27 "/usr/include/bits/sys_errlist.h" 3 4
 797extern int sys_nerr;
 798extern __const char *__const sys_errlist[];
 799# 829 "/usr/include/stdio.h" 2 3 4
 800
 801
 802
 803
 804extern int fileno (FILE *__stream) __attribute__ ((__nothrow__)) ;
 805
 806
 807
 808
 809extern int fileno_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
 810# 848 "/usr/include/stdio.h" 3 4
 811extern FILE *popen (__const char *__command, __const char *__modes) ;
 812
 813
 814
 815
 816
 817extern int pclose (FILE *__stream);
 818
 819
 820
 821
 822
 823extern char *ctermid (char *__s) __attribute__ ((__nothrow__));
 824# 888 "/usr/include/stdio.h" 3 4
 825extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__));
 826
 827
 828
 829extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__)) ;
 830
 831
 832extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__));
 833# 918 "/usr/include/stdio.h" 3 4
 834
 835# 2 "files/alt_test.c" 2
 836# 1 "/usr/include/stdlib.h" 1 3 4
 837# 33 "/usr/include/stdlib.h" 3 4
 838# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
 839# 323 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 3 4
 840typedef int wchar_t;
 841# 34 "/usr/include/stdlib.h" 2 3 4
 842
 843
 844# 96 "/usr/include/stdlib.h" 3 4
 845
 846
 847typedef struct
 848  {
 849    int quot;
 850    int rem;
 851  } div_t;
 852
 853
 854
 855typedef struct
 856  {
 857    long int quot;
 858    long int rem;
 859  } ldiv_t;
 860
 861
 862
 863
 864
 865
 866
 867__extension__ typedef struct
 868  {
 869    long long int quot;
 870    long long int rem;
 871  } lldiv_t;
 872
 873
 874# 140 "/usr/include/stdlib.h" 3 4
 875extern size_t __ctype_get_mb_cur_max (void) __attribute__ ((__nothrow__)) ;
 876
 877
 878
 879
 880extern double atof (__const char *__nptr)
 881     __attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
 882
 883extern int atoi (__const char *__nptr)
 884     __attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
 885
 886extern long int atol (__const char *__nptr)
 887     __attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
 888
 889
 890
 891
 892
 893__extension__ extern long long int atoll (__const char *__nptr)
 894     __attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
 895
 896
 897
 898
 899
 900extern double strtod (__const char *__restrict __nptr,
 901        char **__restrict __endptr)
 902     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 903
 904
 905
 906
 907
 908extern float strtof (__const char *__restrict __nptr,
 909       char **__restrict __endptr) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 910
 911extern long double strtold (__const char *__restrict __nptr,
 912       char **__restrict __endptr)
 913     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 914
 915
 916
 917
 918
 919extern long int strtol (__const char *__restrict __nptr,
 920   char **__restrict __endptr, int __base)
 921     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 922
 923extern unsigned long int strtoul (__const char *__restrict __nptr,
 924      char **__restrict __endptr, int __base)
 925     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 926
 927
 928
 929
 930__extension__
 931extern long long int strtoq (__const char *__restrict __nptr,
 932        char **__restrict __endptr, int __base)
 933     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 934
 935__extension__
 936extern unsigned long long int strtouq (__const char *__restrict __nptr,
 937           char **__restrict __endptr, int __base)
 938     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 939
 940
 941
 942
 943
 944__extension__
 945extern long long int strtoll (__const char *__restrict __nptr,
 946         char **__restrict __endptr, int __base)
 947     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 948
 949__extension__
 950extern unsigned long long int strtoull (__const char *__restrict __nptr,
 951     char **__restrict __endptr, int __base)
 952     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
 953
 954# 311 "/usr/include/stdlib.h" 3 4
 955extern char *l64a (long int __n) __attribute__ ((__nothrow__)) ;
 956
 957
 958extern long int a64l (__const char *__s)
 959     __attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
 960
 961
 962
 963
 964# 1 "/usr/include/sys/types.h" 1 3 4
 965# 29 "/usr/include/sys/types.h" 3 4
 966
 967
 968
 969
 970
 971
 972typedef __u_char u_char;
 973typedef __u_short u_short;
 974typedef __u_int u_int;
 975typedef __u_long u_long;
 976typedef __quad_t quad_t;
 977typedef __u_quad_t u_quad_t;
 978typedef __fsid_t fsid_t;
 979
 980
 981
 982
 983typedef __loff_t loff_t;
 984
 985
 986
 987typedef __ino_t ino_t;
 988# 62 "/usr/include/sys/types.h" 3 4
 989typedef __dev_t dev_t;
 990
 991
 992
 993
 994typedef __gid_t gid_t;
 995
 996
 997
 998
 999typedef __mode_t mode_t;
1000
1001
1002
1003
1004typedef __nlink_t nlink_t;
1005
1006
1007
1008
1009typedef __uid_t uid_t;
1010
1011
1012
1013
1014
1015typedef __off_t off_t;
1016# 100 "/usr/include/sys/types.h" 3 4
1017typedef __pid_t pid_t;
1018
1019
1020
1021
1022typedef __id_t id_t;
1023
1024
1025
1026
1027typedef __ssize_t ssize_t;
1028
1029
1030
1031
1032
1033typedef __daddr_t daddr_t;
1034typedef __caddr_t caddr_t;
1035
1036
1037
1038
1039
1040typedef __key_t key_t;
1041# 133 "/usr/include/sys/types.h" 3 4
1042# 1 "/usr/include/time.h" 1 3 4
1043# 74 "/usr/include/time.h" 3 4
1044
1045
1046typedef __time_t time_t;
1047
1048
1049
1050# 92 "/usr/include/time.h" 3 4
1051typedef __clockid_t clockid_t;
1052# 104 "/usr/include/time.h" 3 4
1053typedef __timer_t timer_t;
1054# 134 "/usr/include/sys/types.h" 2 3 4
1055# 147 "/usr/include/sys/types.h" 3 4
1056# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
1057# 148 "/usr/include/sys/types.h" 2 3 4
1058
1059
1060
1061typedef unsigned long int ulong;
1062typedef unsigned short int ushort;
1063typedef unsigned int uint;
1064# 195 "/usr/include/sys/types.h" 3 4
1065typedef int int8_t __attribute__ ((__mode__ (__QI__)));
1066typedef int int16_t __attribute__ ((__mode__ (__HI__)));
1067typedef int int32_t __attribute__ ((__mode__ (__SI__)));
1068typedef int int64_t __attribute__ ((__mode__ (__DI__)));
1069
1070
1071typedef unsigned int u_int8_t __attribute__ ((__mode__ (__QI__)));
1072typedef unsigned int u_int16_t __attribute__ ((__mode__ (__HI__)));
1073typedef unsigned int u_int32_t __attribute__ ((__mode__ (__SI__)));
1074typedef unsigned int u_int64_t __attribute__ ((__mode__ (__DI__)));
1075
1076typedef int register_t __attribute__ ((__mode__ (__word__)));
1077# 217 "/usr/include/sys/types.h" 3 4
1078# 1 "/usr/include/endian.h" 1 3 4
1079# 37 "/usr/include/endian.h" 3 4
1080# 1 "/usr/include/bits/endian.h" 1 3 4
1081# 38 "/usr/include/endian.h" 2 3 4
1082# 61 "/usr/include/endian.h" 3 4
1083# 1 "/usr/include/bits/byteswap.h" 1 3 4
1084# 28 "/usr/include/bits/byteswap.h" 3 4
1085# 1 "/usr/include/bits/wordsize.h" 1 3 4
1086# 29 "/usr/include/bits/byteswap.h" 2 3 4
1087# 62 "/usr/include/endian.h" 2 3 4
1088# 218 "/usr/include/sys/types.h" 2 3 4
1089
1090
1091# 1 "/usr/include/sys/select.h" 1 3 4
1092# 31 "/usr/include/sys/select.h" 3 4
1093# 1 "/usr/include/bits/select.h" 1 3 4
1094# 23 "/usr/include/bits/select.h" 3 4
1095# 1 "/usr/include/bits/wordsize.h" 1 3 4
1096# 24 "/usr/include/bits/select.h" 2 3 4
1097# 32 "/usr/include/sys/select.h" 2 3 4
1098
1099
1100# 1 "/usr/include/bits/sigset.h" 1 3 4
1101# 24 "/usr/include/bits/sigset.h" 3 4
1102typedef int __sig_atomic_t;
1103
1104
1105
1106
1107typedef struct
1108  {
1109    unsigned long int __val[(1024 / (8 * sizeof (unsigned long int)))];
1110  } __sigset_t;
1111# 35 "/usr/include/sys/select.h" 2 3 4
1112
1113
1114
1115typedef __sigset_t sigset_t;
1116
1117
1118
1119
1120
1121# 1 "/usr/include/time.h" 1 3 4
1122# 120 "/usr/include/time.h" 3 4
1123struct timespec
1124  {
1125    __time_t tv_sec;
1126    long int tv_nsec;
1127  };
1128# 45 "/usr/include/sys/select.h" 2 3 4
1129
1130# 1 "/usr/include/bits/time.h" 1 3 4
1131# 69 "/usr/include/bits/time.h" 3 4
1132struct timeval
1133  {
1134    __time_t tv_sec;
1135    __suseconds_t tv_usec;
1136  };
1137# 47 "/usr/include/sys/select.h" 2 3 4
1138
1139
1140typedef __suseconds_t suseconds_t;
1141
1142
1143
1144
1145
1146typedef long int __fd_mask;
1147# 67 "/usr/include/sys/select.h" 3 4
1148typedef struct
1149  {
1150
1151
1152
1153
1154
1155
1156    __fd_mask __fds_bits[1024 / (8 * (int) sizeof (__fd_mask))];
1157
1158
1159  } fd_set;
1160
1161
1162
1163
1164
1165
1166typedef __fd_mask fd_mask;
1167# 99 "/usr/include/sys/select.h" 3 4
1168
1169# 109 "/usr/include/sys/select.h" 3 4
1170extern int select (int __nfds, fd_set *__restrict __readfds,
1171     fd_set *__restrict __writefds,
1172     fd_set *__restrict __exceptfds,
1173     struct timeval *__restrict __timeout);
1174# 121 "/usr/include/sys/select.h" 3 4
1175extern int pselect (int __nfds, fd_set *__restrict __readfds,
1176      fd_set *__restrict __writefds,
1177      fd_set *__restrict __exceptfds,
1178      const struct timespec *__restrict __timeout,
1179      const __sigset_t *__restrict __sigmask);
1180
1181
1182
1183# 221 "/usr/include/sys/types.h" 2 3 4
1184
1185
1186# 1 "/usr/include/sys/sysmacros.h" 1 3 4
1187# 30 "/usr/include/sys/sysmacros.h" 3 4
1188__extension__
1189extern unsigned int gnu_dev_major (unsigned long long int __dev)
1190     __attribute__ ((__nothrow__));
1191__extension__
1192extern unsigned int gnu_dev_minor (unsigned long long int __dev)
1193     __attribute__ ((__nothrow__));
1194__extension__
1195extern unsigned long long int gnu_dev_makedev (unsigned int __major,
1196            unsigned int __minor)
1197     __attribute__ ((__nothrow__));
1198# 224 "/usr/include/sys/types.h" 2 3 4
1199# 235 "/usr/include/sys/types.h" 3 4
1200typedef __blkcnt_t blkcnt_t;
1201
1202
1203
1204typedef __fsblkcnt_t fsblkcnt_t;
1205
1206
1207
1208typedef __fsfilcnt_t fsfilcnt_t;
1209# 270 "/usr/include/sys/types.h" 3 4
1210# 1 "/usr/include/bits/pthreadtypes.h" 1 3 4
1211# 23 "/usr/include/bits/pthreadtypes.h" 3 4
1212# 1 "/usr/include/bits/wordsize.h" 1 3 4
1213# 24 "/usr/include/bits/pthreadtypes.h" 2 3 4
1214# 50 "/usr/include/bits/pthreadtypes.h" 3 4
1215typedef unsigned long int pthread_t;
1216
1217
1218typedef union
1219{
1220  char __size[56];
1221  long int __align;
1222} pthread_attr_t;
1223
1224
1225
1226typedef struct __pthread_internal_list
1227{
1228  struct __pthread_internal_list *__prev;
1229  struct __pthread_internal_list *__next;
1230} __pthread_list_t;
1231# 76 "/usr/include/bits/pthreadtypes.h" 3 4
1232typedef union
1233{
1234  struct __pthread_mutex_s
1235  {
1236    int __lock;
1237    unsigned int __count;
1238    int __owner;
1239
1240    unsigned int __nusers;
1241
1242
1243
1244    int __kind;
1245
1246    int __spins;
1247    __pthread_list_t __list;
1248# 101 "/usr/include/bits/pthreadtypes.h" 3 4
1249  } __data;
1250  char __size[40];
1251  long int __align;
1252} pthread_mutex_t;
1253
1254typedef union
1255{
1256  char __size[4];
1257  int __align;
1258} pthread_mutexattr_t;
1259
1260
1261
1262
1263typedef union
1264{
1265  struct
1266  {
1267    int __lock;
1268    unsigned int __futex;
1269    __extension__ unsigned long long int __total_seq;
1270    __extension__ unsigned long long int __wakeup_seq;
1271    __extension__ unsigned long long int __woken_seq;
1272    void *__mutex;
1273    unsigned int __nwaiters;
1274    unsigned int __broadcast_seq;
1275  } __data;
1276  char __size[48];
1277  __extension__ long long int __align;
1278} pthread_cond_t;
1279
1280typedef union
1281{
1282  char __size[4];
1283  int __align;
1284} pthread_condattr_t;
1285
1286
1287
1288typedef unsigned int pthread_key_t;
1289
1290
1291
1292typedef int pthread_once_t;
1293
1294
1295
1296
1297
1298typedef union
1299{
1300
1301  struct
1302  {
1303    int __lock;
1304    unsigned int __nr_readers;
1305    unsigned int __readers_wakeup;
1306    unsigned int __writer_wakeup;
1307    unsigned int __nr_readers_queued;
1308    unsigned int __nr_writers_queued;
1309    int __writer;
1310    int __shared;
1311    unsigned long int __pad1;
1312    unsigned long int __pad2;
1313
1314
1315    unsigned int __flags;
1316  } __data;
1317# 187 "/usr/include/bits/pthreadtypes.h" 3 4
1318  char __size[56];
1319  long int __align;
1320} pthread_rwlock_t;
1321
1322typedef union
1323{
1324  char __size[8];
1325  long int __align;
1326} pthread_rwlockattr_t;
1327
1328
1329
1330
1331
1332typedef volatile int pthread_spinlock_t;
1333
1334
1335
1336
1337typedef union
1338{
1339  char __size[32];
1340  long int __align;
1341} pthread_barrier_t;
1342
1343typedef union
1344{
1345  char __size[4];
1346  int __align;
1347} pthread_barrierattr_t;
1348# 271 "/usr/include/sys/types.h" 2 3 4
1349
1350
1351
1352# 321 "/usr/include/stdlib.h" 2 3 4
1353
1354
1355
1356
1357
1358
1359extern long int random (void) __attribute__ ((__nothrow__));
1360
1361
1362extern void srandom (unsigned int __seed) __attribute__ ((__nothrow__));
1363
1364
1365
1366
1367
1368extern char *initstate (unsigned int __seed, char *__statebuf,
1369   size_t __statelen) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2)));
1370
1371
1372
1373extern char *setstate (char *__statebuf) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1374
1375
1376
1377
1378
1379
1380
1381struct random_data
1382  {
1383    int32_t *fptr;
1384    int32_t *rptr;
1385    int32_t *state;
1386    int rand_type;
1387    int rand_deg;
1388    int rand_sep;
1389    int32_t *end_ptr;
1390  };
1391
1392extern int random_r (struct random_data *__restrict __buf,
1393       int32_t *__restrict __result) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1394
1395extern int srandom_r (unsigned int __seed, struct random_data *__buf)
1396     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2)));
1397
1398extern int initstate_r (unsigned int __seed, char *__restrict __statebuf,
1399   size_t __statelen,
1400   struct random_data *__restrict __buf)
1401     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2, 4)));
1402
1403extern int setstate_r (char *__restrict __statebuf,
1404         struct random_data *__restrict __buf)
1405     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1406
1407
1408
1409
1410
1411
1412extern int rand (void) __attribute__ ((__nothrow__));
1413
1414extern void srand (unsigned int __seed) __attribute__ ((__nothrow__));
1415
1416
1417
1418
1419extern int rand_r (unsigned int *__seed) __attribute__ ((__nothrow__));
1420
1421
1422
1423
1424
1425
1426
1427extern double drand48 (void) __attribute__ ((__nothrow__));
1428extern double erand48 (unsigned short int __xsubi[3]) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1429
1430
1431extern long int lrand48 (void) __attribute__ ((__nothrow__));
1432extern long int nrand48 (unsigned short int __xsubi[3])
1433     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1434
1435
1436extern long int mrand48 (void) __attribute__ ((__nothrow__));
1437extern long int jrand48 (unsigned short int __xsubi[3])
1438     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1439
1440
1441extern void srand48 (long int __seedval) __attribute__ ((__nothrow__));
1442extern unsigned short int *seed48 (unsigned short int __seed16v[3])
1443     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1444extern void lcong48 (unsigned short int __param[7]) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1445
1446
1447
1448
1449
1450struct drand48_data
1451  {
1452    unsigned short int __x[3];
1453    unsigned short int __old_x[3];
1454    unsigned short int __c;
1455    unsigned short int __init;
1456    unsigned long long int __a;
1457  };
1458
1459
1460extern int drand48_r (struct drand48_data *__restrict __buffer,
1461        double *__restrict __result) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1462extern int erand48_r (unsigned short int __xsubi[3],
1463        struct drand48_data *__restrict __buffer,
1464        double *__restrict __result) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1465
1466
1467extern int lrand48_r (struct drand48_data *__restrict __buffer,
1468        long int *__restrict __result)
1469     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1470extern int nrand48_r (unsigned short int __xsubi[3],
1471        struct drand48_data *__restrict __buffer,
1472        long int *__restrict __result)
1473     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1474
1475
1476extern int mrand48_r (struct drand48_data *__restrict __buffer,
1477        long int *__restrict __result)
1478     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1479extern int jrand48_r (unsigned short int __xsubi[3],
1480        struct drand48_data *__restrict __buffer,
1481        long int *__restrict __result)
1482     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1483
1484
1485extern int srand48_r (long int __seedval, struct drand48_data *__buffer)
1486     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2)));
1487
1488extern int seed48_r (unsigned short int __seed16v[3],
1489       struct drand48_data *__buffer) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1490
1491extern int lcong48_r (unsigned short int __param[7],
1492        struct drand48_data *__buffer)
1493     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503extern void *malloc (size_t __size) __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
1504
1505extern void *calloc (size_t __nmemb, size_t __size)
1506     __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517extern void *realloc (void *__ptr, size_t __size)
1518     __attribute__ ((__nothrow__)) __attribute__ ((__warn_unused_result__));
1519
1520extern void free (void *__ptr) __attribute__ ((__nothrow__));
1521
1522
1523
1524
1525extern void cfree (void *__ptr) __attribute__ ((__nothrow__));
1526
1527
1528
1529# 1 "/usr/include/alloca.h" 1 3 4
1530# 25 "/usr/include/alloca.h" 3 4
1531# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
1532# 26 "/usr/include/alloca.h" 2 3 4
1533
1534
1535
1536
1537
1538
1539
1540extern void *alloca (size_t __size) __attribute__ ((__nothrow__));
1541
1542
1543
1544
1545
1546
1547# 498 "/usr/include/stdlib.h" 2 3 4
1548
1549
1550
1551
1552extern void *valloc (size_t __size) __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
1553
1554
1555
1556
1557extern int posix_memalign (void **__memptr, size_t __alignment, size_t __size)
1558     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1559
1560
1561
1562
1563extern void abort (void) __attribute__ ((__nothrow__)) __attribute__ ((__noreturn__));
1564
1565
1566
1567extern int atexit (void (*__func) (void)) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1568# 530 "/usr/include/stdlib.h" 3 4
1569
1570
1571
1572
1573
1574extern int on_exit (void (*__func) (int __status, void *__arg), void *__arg)
1575     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1576
1577
1578
1579
1580
1581
1582extern void exit (int __status) __attribute__ ((__nothrow__)) __attribute__ ((__noreturn__));
1583# 553 "/usr/include/stdlib.h" 3 4
1584
1585
1586
1587
1588
1589
1590extern void _Exit (int __status) __attribute__ ((__nothrow__)) __attribute__ ((__noreturn__));
1591
1592
1593
1594
1595
1596
1597extern char *getenv (__const char *__name) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1598
1599
1600
1601
1602extern char *__secure_getenv (__const char *__name)
1603     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1604
1605
1606
1607
1608
1609extern int putenv (char *__string) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1610
1611
1612
1613
1614
1615extern int setenv (__const char *__name, __const char *__value, int __replace)
1616     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2)));
1617
1618
1619extern int unsetenv (__const char *__name) __attribute__ ((__nothrow__));
1620
1621
1622
1623
1624
1625
1626extern int clearenv (void) __attribute__ ((__nothrow__));
1627# 604 "/usr/include/stdlib.h" 3 4
1628extern char *mktemp (char *__template) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1629# 615 "/usr/include/stdlib.h" 3 4
1630extern int mkstemp (char *__template) __attribute__ ((__nonnull__ (1))) ;
1631# 637 "/usr/include/stdlib.h" 3 4
1632extern int mkstemps (char *__template, int __suffixlen) __attribute__ ((__nonnull__ (1))) ;
1633# 658 "/usr/include/stdlib.h" 3 4
1634extern char *mkdtemp (char *__template) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1635# 707 "/usr/include/stdlib.h" 3 4
1636
1637
1638
1639
1640
1641extern int system (__const char *__command) ;
1642
1643# 729 "/usr/include/stdlib.h" 3 4
1644extern char *realpath (__const char *__restrict __name,
1645         char *__restrict __resolved) __attribute__ ((__nothrow__)) ;
1646
1647
1648
1649
1650
1651
1652typedef int (*__compar_fn_t) (__const void *, __const void *);
1653# 747 "/usr/include/stdlib.h" 3 4
1654
1655
1656
1657extern void *bsearch (__const void *__key, __const void *__base,
1658        size_t __nmemb, size_t __size, __compar_fn_t __compar)
1659     __attribute__ ((__nonnull__ (1, 2, 5))) ;
1660
1661
1662
1663extern void qsort (void *__base, size_t __nmemb, size_t __size,
1664     __compar_fn_t __compar) __attribute__ ((__nonnull__ (1, 4)));
1665# 766 "/usr/include/stdlib.h" 3 4
1666extern int abs (int __x) __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1667extern long int labs (long int __x) __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1668
1669
1670
1671__extension__ extern long long int llabs (long long int __x)
1672     __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1673
1674
1675
1676
1677
1678
1679
1680extern div_t div (int __numer, int __denom)
1681     __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1682extern ldiv_t ldiv (long int __numer, long int __denom)
1683     __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1684
1685
1686
1687
1688__extension__ extern lldiv_t lldiv (long long int __numer,
1689        long long int __denom)
1690     __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
1691
1692# 802 "/usr/include/stdlib.h" 3 4
1693extern char *ecvt (double __value, int __ndigit, int *__restrict __decpt,
1694     int *__restrict __sign) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4))) ;
1695
1696
1697
1698
1699extern char *fcvt (double __value, int __ndigit, int *__restrict __decpt,
1700     int *__restrict __sign) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4))) ;
1701
1702
1703
1704
1705extern char *gcvt (double __value, int __ndigit, char *__buf)
1706     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3))) ;
1707
1708
1709
1710
1711extern char *qecvt (long double __value, int __ndigit,
1712      int *__restrict __decpt, int *__restrict __sign)
1713     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4))) ;
1714extern char *qfcvt (long double __value, int __ndigit,
1715      int *__restrict __decpt, int *__restrict __sign)
1716     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4))) ;
1717extern char *qgcvt (long double __value, int __ndigit, char *__buf)
1718     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3))) ;
1719
1720
1721
1722
1723extern int ecvt_r (double __value, int __ndigit, int *__restrict __decpt,
1724     int *__restrict __sign, char *__restrict __buf,
1725     size_t __len) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4, 5)));
1726extern int fcvt_r (double __value, int __ndigit, int *__restrict __decpt,
1727     int *__restrict __sign, char *__restrict __buf,
1728     size_t __len) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4, 5)));
1729
1730extern int qecvt_r (long double __value, int __ndigit,
1731      int *__restrict __decpt, int *__restrict __sign,
1732      char *__restrict __buf, size_t __len)
1733     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4, 5)));
1734extern int qfcvt_r (long double __value, int __ndigit,
1735      int *__restrict __decpt, int *__restrict __sign,
1736      char *__restrict __buf, size_t __len)
1737     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (3, 4, 5)));
1738
1739
1740
1741
1742
1743
1744
1745extern int mblen (__const char *__s, size_t __n) __attribute__ ((__nothrow__)) ;
1746
1747
1748extern int mbtowc (wchar_t *__restrict __pwc,
1749     __const char *__restrict __s, size_t __n) __attribute__ ((__nothrow__)) ;
1750
1751
1752extern int wctomb (char *__s, wchar_t __wchar) __attribute__ ((__nothrow__)) ;
1753
1754
1755
1756extern size_t mbstowcs (wchar_t *__restrict __pwcs,
1757   __const char *__restrict __s, size_t __n) __attribute__ ((__nothrow__));
1758
1759extern size_t wcstombs (char *__restrict __s,
1760   __const wchar_t *__restrict __pwcs, size_t __n)
1761     __attribute__ ((__nothrow__));
1762
1763
1764
1765
1766
1767
1768
1769
1770extern int rpmatch (__const char *__response) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1))) ;
1771# 907 "/usr/include/stdlib.h" 3 4
1772extern int posix_openpt (int __oflag) ;
1773# 942 "/usr/include/stdlib.h" 3 4
1774extern int getloadavg (double __loadavg[], int __nelem)
1775     __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1)));
1776# 958 "/usr/include/stdlib.h" 3 4
1777
1778# 3 "files/alt_test.c" 2
1779# 1 "./assert.h" 1
1780
1781void __blast_assert()
1782{
1783 ERROR: goto ERROR;
1784}
1785# 4 "files/alt_test.c" 2
1786
1787
1788
1789int globalState = 0;
1790void* l_malloc(int);
1791void l_free(void*);
1792
1793int
1794main(int argc, char* argv[]) {
1795 int *a = (int*) l_malloc(sizeof(int));
1796 l_free(a);
1797 l_free(a);
1798 return 0;
1799}
1800
1801void* l_malloc(int size) {
1802 void *retVal = malloc(size);
1803 if(retVal != ((void *)0))
1804  globalState=1;
1805 return retVal;
1806}
1807
1808void l_free(void* ptr) {
1809
1810
1811
1812 if(ptr!=((void *)0)) ((globalState == 1) ? (0) : __blast_assert ());
1813 globalState = 0;
1814 free(ptr);
1815}