Showing error 148

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/structure_assignment.c-safe.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 7 "files/structure_assignment.c"
 5struct Stuff {
 6   int a ;
 7   int b ;
 8};
 9#line 7 "files/structure_assignment.c"
10typedef struct Stuff Stuff;
11#line 2 "./assert.h"
12void __blast_assert(void) 
13{ 
14
15  {
16  ERROR:assert(0); 
17#line 4
18  goto ERROR;
19}
20}
21#line 12 "files/structure_assignment.c"
22int main(void) 
23{ Stuff good ;
24  Stuff bad ;
25
26  {
Show full sources
↑