Showing error 1407

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.cil.c
Line in file: 9
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

 1/* Generated by CIL v. 1.3.7 */
 2/* print_CIL_Input is true */
 3
 4#line 2 "./assert.h"
 5void __blast_assert(void) 
 6{ 
 7
 8  {
 9  ERROR: 
10#line 4
11  goto ERROR;
12}
13}
14#line 5 "files/sizeofparameters_test.c"
15void foo(int a ) ;
16#line 7 "files/sizeofparameters_test.c"
17int globalSize  ;
18#line 9 "files/sizeofparameters_test.c"
19int main(int argc , char **argv )
Show full sources
↑