Showing error 121

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/alias_of_return_2.c-safe.cil.c
Line in file: 9
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

 1/* Generated by CIL v. 1.3.7 */
 2/* print_CIL_Input is true */
 3
 4#line 13 "files/alias_of_return_2.c"
 5void err(void) 
 6{ 
 7
 8  {
 9  ERROR:assert(0); 
10#line 14
11  goto ERROR;
12}
13}
14#line 16
15extern int __VERIFIER_nondet_int() ;
16#line 18 "files/alias_of_return_2.c"
17int *return_self(int *p ) 
18{ int tmp ;
19
Show full sources
↑