Showing error 1422

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/test_overflow.c_safe.i
Line in file: 1787
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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