Showing error 1391

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/oomInt.c_safe.cil.c
Line in file: 11
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 4 "files/oomInt.c"
 5void assert(int i ) 
 6{ 
 7
 8  {
 9#line 6
10  if (i == 0) {
11    ERROR: 
12#line 8
13    goto ERROR;
14  } else {
15
16  }
17#line 10
18  return;
19}
20}
21#line 22 "files/oomInt.c"
Show full sources
↑