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: 

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