Showing error 1414

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_address.c_safe.i
Line in file: 955
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_address.c"
  2# 1 "<built-in>"
  3# 1 "<command-line>"
  4# 1 "files/test_address.c"
  5# 1 "/usr/include/malloc.h" 1 3 4
  6# 24 "/usr/include/malloc.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# 25 "/usr/include/malloc.h" 2 3 4
 29# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
 30# 149 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 3 4
 31typedef long int ptrdiff_t;
 32# 211 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 3 4
 33typedef long unsigned int size_t;
 34# 323 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 3 4
 35typedef int wchar_t;
 36# 26 "/usr/include/malloc.h" 2 3 4
 37# 1 "/usr/include/stdio.h" 1 3 4
 38# 30 "/usr/include/stdio.h" 3 4
 39
 40
 41
 42
 43# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
 44# 35 "/usr/include/stdio.h" 2 3 4
 45
 46# 1 "/usr/include/bits/types.h" 1 3 4
 47# 28 "/usr/include/bits/types.h" 3 4
 48# 1 "/usr/include/bits/wordsize.h" 1 3 4
 49# 29 "/usr/include/bits/types.h" 2 3 4
 50
 51
 52typedef unsigned char __u_char;
 53typedef unsigned short int __u_short;
 54typedef unsigned int __u_int;
 55typedef unsigned long int __u_long;
 56
 57
 58typedef signed char __int8_t;
 59typedef unsigned char __uint8_t;
 60typedef signed short int __int16_t;
 61typedef unsigned short int __uint16_t;
 62typedef signed int __int32_t;
 63typedef unsigned int __uint32_t;
 64
 65typedef signed long int __int64_t;
 66typedef unsigned long int __uint64_t;
 67
 68
 69
 70
 71
 72
 73
 74typedef long int __quad_t;
 75typedef unsigned long int __u_quad_t;
 76# 131 "/usr/include/bits/types.h" 3 4
 77# 1 "/usr/include/bits/typesizes.h" 1 3 4
 78# 132 "/usr/include/bits/types.h" 2 3 4
 79
 80
 81typedef unsigned long int __dev_t;
 82typedef unsigned int __uid_t;
 83typedef unsigned int __gid_t;
 84typedef unsigned long int __ino_t;
 85typedef unsigned long int __ino64_t;
 86typedef unsigned int __mode_t;
 87typedef unsigned long int __nlink_t;
 88typedef long int __off_t;
 89typedef long int __off64_t;
 90typedef int __pid_t;
 91typedef struct { int __val[2]; } __fsid_t;
 92typedef long int __clock_t;
 93typedef unsigned long int __rlim_t;
 94typedef unsigned long int __rlim64_t;
 95typedef unsigned int __id_t;
 96typedef long int __time_t;
 97typedef unsigned int __useconds_t;
 98typedef long int __suseconds_t;
 99
100typedef int __daddr_t;
101typedef long int __swblk_t;
102typedef int __key_t;
103
104
105typedef int __clockid_t;
106
107
108typedef void * __timer_t;
109
110
111typedef long int __blksize_t;
112
113
114
115
116typedef long int __blkcnt_t;
117typedef long int __blkcnt64_t;
118
119
120typedef unsigned long int __fsblkcnt_t;
121typedef unsigned long int __fsblkcnt64_t;
122
123
124typedef unsigned long int __fsfilcnt_t;
125typedef unsigned long int __fsfilcnt64_t;
126
127typedef long int __ssize_t;
128
129
130
131typedef __off64_t __loff_t;
132typedef __quad_t *__qaddr_t;
133typedef char *__caddr_t;
134
135
136typedef long int __intptr_t;
137
138
139typedef unsigned int __socklen_t;
140# 37 "/usr/include/stdio.h" 2 3 4
141# 45 "/usr/include/stdio.h" 3 4
142struct _IO_FILE;
143
144
145
146typedef struct _IO_FILE FILE;
147
148
149
150
151
152# 65 "/usr/include/stdio.h" 3 4
153typedef struct _IO_FILE __FILE;
154# 75 "/usr/include/stdio.h" 3 4
155# 1 "/usr/include/libio.h" 1 3 4
156# 32 "/usr/include/libio.h" 3 4
157# 1 "/usr/include/_G_config.h" 1 3 4
158# 15 "/usr/include/_G_config.h" 3 4
159# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h" 1 3 4
160# 16 "/usr/include/_G_config.h" 2 3 4
161
162
163
164
165# 1 "/usr/include/wchar.h" 1 3 4
166# 83 "/usr/include/wchar.h" 3 4
167typedef struct
168{
169  int __count;
170  union
171  {
172
173    unsigned int __wch;
174
175
176
177    char __wchb[4];
178  } __value;
179} __mbstate_t;
180# 21 "/usr/include/_G_config.h" 2 3 4
181
182typedef struct
183{
184  __off_t __pos;
185  __mbstate_t __state;
186} _G_fpos_t;
187typedef struct
188{
189  __off64_t __pos;
190  __mbstate_t __state;
191} _G_fpos64_t;
192# 53 "/usr/include/_G_config.h" 3 4
193typedef int _G_int16_t __attribute__ ((__mode__ (__HI__)));
194typedef int _G_int32_t __attribute__ ((__mode__ (__SI__)));
195typedef unsigned int _G_uint16_t __attribute__ ((__mode__ (__HI__)));
196typedef unsigned int _G_uint32_t __attribute__ ((__mode__ (__SI__)));
197# 33 "/usr/include/libio.h" 2 3 4
198# 53 "/usr/include/libio.h" 3 4
199# 1 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stdarg.h" 1 3 4
200# 40 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stdarg.h" 3 4
201typedef __builtin_va_list __gnuc_va_list;
202# 54 "/usr/include/libio.h" 2 3 4
203# 170 "/usr/include/libio.h" 3 4
204struct _IO_jump_t; struct _IO_FILE;
205# 180 "/usr/include/libio.h" 3 4
206typedef void _IO_lock_t;
207
208
209
210
211
212struct _IO_marker {
213  struct _IO_marker *_next;
214  struct _IO_FILE *_sbuf;
215
216
217
218  int _pos;
219# 203 "/usr/include/libio.h" 3 4
220};
221
222
223enum __codecvt_result
224{
225  __codecvt_ok,
226  __codecvt_partial,
227  __codecvt_error,
228  __codecvt_noconv
229};
230# 271 "/usr/include/libio.h" 3 4
231struct _IO_FILE {
232  int _flags;
233
234
235
236
237  char* _IO_read_ptr;
238  char* _IO_read_end;
239  char* _IO_read_base;
240  char* _IO_write_base;
241  char* _IO_write_ptr;
242  char* _IO_write_end;
243  char* _IO_buf_base;
244  char* _IO_buf_end;
245
246  char *_IO_save_base;
247  char *_IO_backup_base;
248  char *_IO_save_end;
249
250  struct _IO_marker *_markers;
251
252  struct _IO_FILE *_chain;
253
254  int _fileno;
255
256
257
258  int _flags2;
259
260  __off_t _old_offset;
261
262
263
264  unsigned short _cur_column;
265  signed char _vtable_offset;
266  char _shortbuf[1];
267
268
269
270  _IO_lock_t *_lock;
271# 319 "/usr/include/libio.h" 3 4
272  __off64_t _offset;
273# 328 "/usr/include/libio.h" 3 4
274  void *__pad1;
275  void *__pad2;
276  void *__pad3;
277  void *__pad4;
278  size_t __pad5;
279
280  int _mode;
281
282  char _unused2[15 * sizeof (int) - 4 * sizeof (void *) - sizeof (size_t)];
283
284};
285
286
287typedef struct _IO_FILE _IO_FILE;
288
289
290struct _IO_FILE_plus;
291
292extern struct _IO_FILE_plus _IO_2_1_stdin_;
293extern struct _IO_FILE_plus _IO_2_1_stdout_;
294extern struct _IO_FILE_plus _IO_2_1_stderr_;
295# 364 "/usr/include/libio.h" 3 4
296typedef __ssize_t __io_read_fn (void *__cookie, char *__buf, size_t __nbytes);
297
298
299
300
301
302
303
304typedef __ssize_t __io_write_fn (void *__cookie, __const char *__buf,
305     size_t __n);
306
307
308
309
310
311
312
313typedef int __io_seek_fn (void *__cookie, __off64_t *__pos, int __w);
314
315
316typedef int __io_close_fn (void *__cookie);
317# 416 "/usr/include/libio.h" 3 4
318extern int __underflow (_IO_FILE *);
319extern int __uflow (_IO_FILE *);
320extern int __overflow (_IO_FILE *, int);
321# 460 "/usr/include/libio.h" 3 4
322extern int _IO_getc (_IO_FILE *__fp);
323extern int _IO_putc (int __c, _IO_FILE *__fp);
324extern int _IO_feof (_IO_FILE *__fp) __attribute__ ((__nothrow__));
325extern int _IO_ferror (_IO_FILE *__fp) __attribute__ ((__nothrow__));
326
327extern int _IO_peekc_locked (_IO_FILE *__fp);
328
329
330
331
332
333extern void _IO_flockfile (_IO_FILE *) __attribute__ ((__nothrow__));
334extern void _IO_funlockfile (_IO_FILE *) __attribute__ ((__nothrow__));
335extern int _IO_ftrylockfile (_IO_FILE *) __attribute__ ((__nothrow__));
336# 490 "/usr/include/libio.h" 3 4
337extern int _IO_vfscanf (_IO_FILE * __restrict, const char * __restrict,
338   __gnuc_va_list, int *__restrict);
339extern int _IO_vfprintf (_IO_FILE *__restrict, const char *__restrict,
340    __gnuc_va_list);
341extern __ssize_t _IO_padn (_IO_FILE *, int, __ssize_t);
342extern size_t _IO_sgetn (_IO_FILE *, void *, size_t);
343
344extern __off64_t _IO_seekoff (_IO_FILE *, __off64_t, int, int);
345extern __off64_t _IO_seekpos (_IO_FILE *, __off64_t, int);
346
347extern void _IO_free_backup_area (_IO_FILE *) __attribute__ ((__nothrow__));
348# 76 "/usr/include/stdio.h" 2 3 4
349# 89 "/usr/include/stdio.h" 3 4
350
351
352typedef _G_fpos_t fpos_t;
353
354
355
356
357# 141 "/usr/include/stdio.h" 3 4
358# 1 "/usr/include/bits/stdio_lim.h" 1 3 4
359# 142 "/usr/include/stdio.h" 2 3 4
360
361
362
363extern struct _IO_FILE *stdin;
364extern struct _IO_FILE *stdout;
365extern struct _IO_FILE *stderr;
366
367
368
369
370
371
372
373
374
375extern int remove (__const char *__filename) __attribute__ ((__nothrow__));
376
377extern int rename (__const char *__old, __const char *__new) __attribute__ ((__nothrow__));
378
379
380
381
382extern int renameat (int __oldfd, __const char *__old, int __newfd,
383       __const char *__new) __attribute__ ((__nothrow__));
384
385
386
387
388
389
390
391
392extern FILE *tmpfile (void) ;
393# 188 "/usr/include/stdio.h" 3 4
394extern char *tmpnam (char *__s) __attribute__ ((__nothrow__)) ;
395
396
397
398
399
400extern char *tmpnam_r (char *__s) __attribute__ ((__nothrow__)) ;
401# 206 "/usr/include/stdio.h" 3 4
402extern char *tempnam (__const char *__dir, __const char *__pfx)
403     __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
404
405
406
407
408
409
410
411
412extern int fclose (FILE *__stream);
413
414
415
416
417extern int fflush (FILE *__stream);
418
419# 231 "/usr/include/stdio.h" 3 4
420extern int fflush_unlocked (FILE *__stream);
421# 245 "/usr/include/stdio.h" 3 4
422
423
424
425
426
427
428extern FILE *fopen (__const char *__restrict __filename,
429      __const char *__restrict __modes) ;
430
431
432
433
434extern FILE *freopen (__const char *__restrict __filename,
435        __const char *__restrict __modes,
436        FILE *__restrict __stream) ;
437# 274 "/usr/include/stdio.h" 3 4
438
439# 285 "/usr/include/stdio.h" 3 4
440extern FILE *fdopen (int __fd, __const char *__modes) __attribute__ ((__nothrow__)) ;
441# 298 "/usr/include/stdio.h" 3 4
442extern FILE *fmemopen (void *__s, size_t __len, __const char *__modes)
443  __attribute__ ((__nothrow__)) ;
444
445
446
447
448extern FILE *open_memstream (char **__bufloc, size_t *__sizeloc) __attribute__ ((__nothrow__)) ;
449
450
451
452
453
454
455extern void setbuf (FILE *__restrict __stream, char *__restrict __buf) __attribute__ ((__nothrow__));
456
457
458
459extern int setvbuf (FILE *__restrict __stream, char *__restrict __buf,
460      int __modes, size_t __n) __attribute__ ((__nothrow__));
461
462
463
464
465
466extern void setbuffer (FILE *__restrict __stream, char *__restrict __buf,
467         size_t __size) __attribute__ ((__nothrow__));
468
469
470extern void setlinebuf (FILE *__stream) __attribute__ ((__nothrow__));
471
472
473
474
475
476
477
478
479extern int fprintf (FILE *__restrict __stream,
480      __const char *__restrict __format, ...);
481
482
483
484
485extern int printf (__const char *__restrict __format, ...);
486
487extern int sprintf (char *__restrict __s,
488      __const char *__restrict __format, ...) __attribute__ ((__nothrow__));
489
490
491
492
493
494extern int vfprintf (FILE *__restrict __s, __const char *__restrict __format,
495       __gnuc_va_list __arg);
496
497
498
499
500extern int vprintf (__const char *__restrict __format, __gnuc_va_list __arg);
501
502extern int vsprintf (char *__restrict __s, __const char *__restrict __format,
503       __gnuc_va_list __arg) __attribute__ ((__nothrow__));
504
505
506
507
508
509extern int snprintf (char *__restrict __s, size_t __maxlen,
510       __const char *__restrict __format, ...)
511     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 4)));
512
513extern int vsnprintf (char *__restrict __s, size_t __maxlen,
514        __const char *__restrict __format, __gnuc_va_list __arg)
515     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__printf__, 3, 0)));
516
517# 396 "/usr/include/stdio.h" 3 4
518extern int vdprintf (int __fd, __const char *__restrict __fmt,
519       __gnuc_va_list __arg)
520     __attribute__ ((__format__ (__printf__, 2, 0)));
521extern int dprintf (int __fd, __const char *__restrict __fmt, ...)
522     __attribute__ ((__format__ (__printf__, 2, 3)));
523
524
525
526
527
528
529
530
531extern int fscanf (FILE *__restrict __stream,
532     __const char *__restrict __format, ...) ;
533
534
535
536
537extern int scanf (__const char *__restrict __format, ...) ;
538
539extern int sscanf (__const char *__restrict __s,
540     __const char *__restrict __format, ...) __attribute__ ((__nothrow__));
541# 427 "/usr/include/stdio.h" 3 4
542extern int fscanf (FILE *__restrict __stream, __const char *__restrict __format, ...) __asm__ ("" "__isoc99_fscanf")
543
544                               ;
545extern int scanf (__const char *__restrict __format, ...) __asm__ ("" "__isoc99_scanf")
546                              ;
547extern int sscanf (__const char *__restrict __s, __const char *__restrict __format, ...) __asm__ ("" "__isoc99_sscanf") __attribute__ ((__nothrow__))
548
549                      ;
550# 447 "/usr/include/stdio.h" 3 4
551
552
553
554
555
556
557
558
559extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format,
560      __gnuc_va_list __arg)
561     __attribute__ ((__format__ (__scanf__, 2, 0))) ;
562
563
564
565
566
567extern int vscanf (__const char *__restrict __format, __gnuc_va_list __arg)
568     __attribute__ ((__format__ (__scanf__, 1, 0))) ;
569
570
571extern int vsscanf (__const char *__restrict __s,
572      __const char *__restrict __format, __gnuc_va_list __arg)
573     __attribute__ ((__nothrow__)) __attribute__ ((__format__ (__scanf__, 2, 0)));
574# 478 "/usr/include/stdio.h" 3 4
575extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vfscanf")
576
577
578
579     __attribute__ ((__format__ (__scanf__, 2, 0))) ;
580extern int vscanf (__const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vscanf")
581
582     __attribute__ ((__format__ (__scanf__, 1, 0))) ;
583extern int vsscanf (__const char *__restrict __s, __const char *__restrict __format, __gnuc_va_list __arg) __asm__ ("" "__isoc99_vsscanf") __attribute__ ((__nothrow__))
584
585
586
587     __attribute__ ((__format__ (__scanf__, 2, 0)));
588# 506 "/usr/include/stdio.h" 3 4
589
590
591
592
593
594
595
596
597
598extern int fgetc (FILE *__stream);
599extern int getc (FILE *__stream);
600
601
602
603
604
605extern int getchar (void);
606
607# 534 "/usr/include/stdio.h" 3 4
608extern int getc_unlocked (FILE *__stream);
609extern int getchar_unlocked (void);
610# 545 "/usr/include/stdio.h" 3 4
611extern int fgetc_unlocked (FILE *__stream);
612
613
614
615
616
617
618
619
620
621
622
623extern int fputc (int __c, FILE *__stream);
624extern int putc (int __c, FILE *__stream);
625
626
627
628
629
630extern int putchar (int __c);
631
632# 578 "/usr/include/stdio.h" 3 4
633extern int fputc_unlocked (int __c, FILE *__stream);
634
635
636
637
638
639
640
641extern int putc_unlocked (int __c, FILE *__stream);
642extern int putchar_unlocked (int __c);
643
644
645
646
647
648
649extern int getw (FILE *__stream);
650
651
652extern int putw (int __w, FILE *__stream);
653
654
655
656
657
658
659
660
661extern char *fgets (char *__restrict __s, int __n, FILE *__restrict __stream)
662     ;
663
664
665
666
667
668
669extern char *gets (char *__s) ;
670
671# 640 "/usr/include/stdio.h" 3 4
672extern __ssize_t __getdelim (char **__restrict __lineptr,
673          size_t *__restrict __n, int __delimiter,
674          FILE *__restrict __stream) ;
675extern __ssize_t getdelim (char **__restrict __lineptr,
676        size_t *__restrict __n, int __delimiter,
677        FILE *__restrict __stream) ;
678
679
680
681
682
683
684
685extern __ssize_t getline (char **__restrict __lineptr,
686       size_t *__restrict __n,
687       FILE *__restrict __stream) ;
688
689
690
691
692
693
694
695
696extern int fputs (__const char *__restrict __s, FILE *__restrict __stream);
697
698
699
700
701
702extern int puts (__const char *__s);
703
704
705
706
707
708
709extern int ungetc (int __c, FILE *__stream);
710
711
712
713
714
715
716extern size_t fread (void *__restrict __ptr, size_t __size,
717       size_t __n, FILE *__restrict __stream) ;
718
719
720
721
722extern size_t fwrite (__const void *__restrict __ptr, size_t __size,
723        size_t __n, FILE *__restrict __s) ;
724
725# 712 "/usr/include/stdio.h" 3 4
726extern size_t fread_unlocked (void *__restrict __ptr, size_t __size,
727         size_t __n, FILE *__restrict __stream) ;
728extern size_t fwrite_unlocked (__const void *__restrict __ptr, size_t __size,
729          size_t __n, FILE *__restrict __stream) ;
730
731
732
733
734
735
736
737
738extern int fseek (FILE *__stream, long int __off, int __whence);
739
740
741
742
743extern long int ftell (FILE *__stream) ;
744
745
746
747
748extern void rewind (FILE *__stream);
749
750# 748 "/usr/include/stdio.h" 3 4
751extern int fseeko (FILE *__stream, __off_t __off, int __whence);
752
753
754
755
756extern __off_t ftello (FILE *__stream) ;
757# 767 "/usr/include/stdio.h" 3 4
758
759
760
761
762
763
764extern int fgetpos (FILE *__restrict __stream, fpos_t *__restrict __pos);
765
766
767
768
769extern int fsetpos (FILE *__stream, __const fpos_t *__pos);
770# 790 "/usr/include/stdio.h" 3 4
771
772# 799 "/usr/include/stdio.h" 3 4
773
774
775extern void clearerr (FILE *__stream) __attribute__ ((__nothrow__));
776
777extern int feof (FILE *__stream) __attribute__ ((__nothrow__)) ;
778
779extern int ferror (FILE *__stream) __attribute__ ((__nothrow__)) ;
780
781
782
783
784extern void clearerr_unlocked (FILE *__stream) __attribute__ ((__nothrow__));
785extern int feof_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
786extern int ferror_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
787
788
789
790
791
792
793
794
795extern void perror (__const char *__s);
796
797
798
799
800
801
802# 1 "/usr/include/bits/sys_errlist.h" 1 3 4
803# 27 "/usr/include/bits/sys_errlist.h" 3 4
804extern int sys_nerr;
805extern __const char *__const sys_errlist[];
806# 829 "/usr/include/stdio.h" 2 3 4
807
808
809
810
811extern int fileno (FILE *__stream) __attribute__ ((__nothrow__)) ;
812
813
814
815
816extern int fileno_unlocked (FILE *__stream) __attribute__ ((__nothrow__)) ;
817# 848 "/usr/include/stdio.h" 3 4
818extern FILE *popen (__const char *__command, __const char *__modes) ;
819
820
821
822
823
824extern int pclose (FILE *__stream);
825
826
827
828
829
830extern char *ctermid (char *__s) __attribute__ ((__nothrow__));
831# 888 "/usr/include/stdio.h" 3 4
832extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__));
833
834
835
836extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__)) ;
837
838
839extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__));
840# 918 "/usr/include/stdio.h" 3 4
841
842# 27 "/usr/include/malloc.h" 2 3 4
843# 48 "/usr/include/malloc.h" 3 4
844
845
846
847extern void *malloc (size_t __size) __attribute__ ((__nothrow__)) __attribute__ ((__malloc__)) ;
848
849
850extern void *calloc (size_t __nmemb, size_t __size) __attribute__ ((__nothrow__))
851       __attribute__ ((__malloc__)) ;
852
853
854
855
856
857
858extern void *realloc (void *__ptr, size_t __size) __attribute__ ((__nothrow__))
859       __attribute__ ((__warn_unused_result__));
860
861
862extern void free (void *__ptr) __attribute__ ((__nothrow__));
863
864
865extern void cfree (void *__ptr) __attribute__ ((__nothrow__));
866
867
868extern void *memalign (size_t __alignment, size_t __size) __attribute__ ((__nothrow__))
869       __attribute__ ((__malloc__)) ;
870
871
872extern void *valloc (size_t __size) __attribute__ ((__nothrow__))
873       __attribute__ ((__malloc__)) ;
874
875
876
877extern void * pvalloc (size_t __size) __attribute__ ((__nothrow__))
878       __attribute__ ((__malloc__)) ;
879
880
881
882extern void *(*__morecore) (ptrdiff_t __size);
883
884
885extern void *__default_morecore (ptrdiff_t __size) __attribute__ ((__nothrow__))
886       __attribute__ ((__malloc__));
887
888
889
890struct mallinfo {
891  int arena;
892  int ordblks;
893  int smblks;
894  int hblks;
895  int hblkhd;
896  int usmblks;
897  int fsmblks;
898  int uordblks;
899  int fordblks;
900  int keepcost;
901};
902
903
904extern struct mallinfo mallinfo (void) __attribute__ ((__nothrow__));
905# 135 "/usr/include/malloc.h" 3 4
906extern int mallopt (int __param, int __val) __attribute__ ((__nothrow__));
907
908
909
910extern int malloc_trim (size_t __pad) __attribute__ ((__nothrow__));
911
912
913
914extern size_t malloc_usable_size (void *__ptr) __attribute__ ((__nothrow__));
915
916
917extern void malloc_stats (void) __attribute__ ((__nothrow__));
918
919
920extern int malloc_info (int __options, FILE *__fp);
921
922
923extern void *malloc_get_state (void) __attribute__ ((__nothrow__));
924
925
926
927extern int malloc_set_state (void *__ptr) __attribute__ ((__nothrow__));
928
929
930
931
932extern void (*__malloc_initialize_hook) (void);
933
934extern void (*__free_hook) (void *__ptr, __const void *)
935                             ;
936extern void *(*__malloc_hook) (size_t __size, __const void *)
937                                  ;
938extern void *(*__realloc_hook) (void *__ptr, size_t __size, __const void *)
939                                   ;
940extern void *(*__memalign_hook) (size_t __alignment, size_t __size, __const void *)
941
942                                    ;
943extern void (*__after_morecore_hook) (void);
944
945
946extern void __malloc_check_init (void) __attribute__ ((__nothrow__));
947
948
949
950# 2 "files/test_address.c" 2
951# 1 "./assert.h" 1
952
953void __blast_assert()
954{
955 ERROR: goto ERROR;
956}
957# 3 "files/test_address.c" 2
958
959
960
961struct path_info {
962 int list;
963};
964
965void list_add(int *new) {
966 ((new!=((void *)0)) ? (0) : __blast_assert ());
967}
968
969static void rr_fail_path(struct path_info *pi)
970{
971 list_add(&pi->list);
972}
973
974
975int main(void) {
976 struct path_info pi;
977 rr_fail_path(&pi);
978}