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:

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