Showing error 1406

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_list2.c_unsafe_1.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_list2.c"
   2# 1 "<built-in>"
   3# 1 "<command-line>"
   4# 1 "files/rule60_list2.c"
   5# 1 "./assert.h" 1
   6
   7void __blast_assert()
   8{
   9 ERROR: goto ERROR;
  10}
  11# 2 "files/rule60_list2.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