Showing error 1402

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/rule60_list.c_safe.i
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# 1 "files/rule60_list.c"
  2# 1 "<built-in>"
  3# 1 "<command-line>"
  4# 1 "files/rule60_list.c"
  5# 1 "./assert.h" 1
  6
  7void __blast_assert()
  8{
  9 ERROR: goto ERROR;
 10}
 11# 2 "files/rule60_list.c" 2
 12# 1 "/usr/include/malloc.h" 1 3 4
 13# 24 "/usr/include/malloc.h" 3 4
 14# 1 "/usr/include/features.h" 1 3 4
 15# 347 "/usr/include/features.h" 3 4
 16# 1 "/usr/include/sys/cdefs.h" 1 3 4
 17# 353 "/usr/include/sys/cdefs.h" 3 4
 18# 1 "/usr/include/bits/wordsize.h" 1 3 4
 19# 354 "/usr/include/sys/cdefs.h" 2 3 4
Show full sources