Showing error 140

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/recursive_list.c-unsafe.cil.c
Line in file: 16
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 15 "files/recursive_list.c"
  5struct list {
  6   int n ;
  7   struct list *next ;
  8};
  9#line 211 "/usr/lib/gcc/x86_64-pc-linux-gnu/4.5.3/include/stddef.h"
 10typedef unsigned int size_t;
 11#line 12 "files/recursive_list.c"
 12void err(void) 
 13{ 
 14
 15  {
 16  ERROR:assert(0); 
 17#line 13
 18  goto ERROR;
 19}
 20}
 21#line 22 "files/recursive_list.c"
 22int i  =    1;
 23#line 471 "/usr/include/stdlib.h"
 24extern  __attribute__((__nothrow__)) void *malloc(size_t __size )  __attribute__((__malloc__)) ;
 25#line 23 "files/recursive_list.c"
 26void *allocate_memory(void)
Show full sources
↑