Showing error 1361

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/alt_test.c_unsafe.cil.c
Line in file: 15
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 211 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h"
  5typedef unsigned long size_t;
  6#line 471 "/usr/include/stdlib.h"
  7extern  __attribute__((__nothrow__)) void *malloc(size_t __size )  __attribute__((__malloc__)) ;
  8#line 488
  9extern  __attribute__((__nothrow__)) void free(void *__ptr ) ;
 10#line 2 "./assert.h"
 11void __blast_assert(void) 
 12{ 
 13
 14  {
 15  ERROR: 
 16#line 4
 17  goto ERROR;
 18}
 19}
 20#line 6 "files/alt_test.c"
 21int globalState  =    0;
 22#line 7
 23void *l_malloc(int size ) ;
 24#line 8
 25void l_free(void *ptr ) ;
Show full sources