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:

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) {
Show full sources