Showing error 1368

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


Source:

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/fo_test.c" 2
1073# 1 "./assert.h" 1
1074
1075void __blast_assert()
1076{
1077 ERROR: goto ERROR;
1078}
1079# 3 "files/fo_test.c" 2
1080
1081# 1 "/usr/include/sys/stat.h" 1 3 4
1082# 39 "/usr/include/sys/stat.h" 3 4
1083# 1 "/usr/include/time.h" 1 3 4
1084# 40 "/usr/include/sys/stat.h" 2 3 4
1085# 105 "/usr/include/sys/stat.h" 3 4
1086
1087
Show full sources