Showing error 1408

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


Source:

810# 848 "/usr/include/stdio.h" 3 4
811extern FILE *popen (__const char *__command, __const char *__modes) ;
812
813
814
815
816
817extern int pclose (FILE *__stream);
818
819
820
821
822
823extern char *ctermid (char *__s) __attribute__ ((__nothrow__));
824# 888 "/usr/include/stdio.h" 3 4
825extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__));
826
827
828
829extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__)) ;
830
831
832extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__));
833# 918 "/usr/include/stdio.h" 3 4
834
835# 2 "files/sizeofparameters_test.c" 2
836# 1 "./assert.h" 1
837
838void __blast_assert()
839{
840 ERROR: goto ERROR;
841}
842# 3 "files/sizeofparameters_test.c" 2
843
844
845
846void foo();
847
848int globalSize;
849
850int
Show full sources