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/test_union_cast.c_safe.cil.c |
Line in file: | 13 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1/* Generated by CIL v. 1.3.7 */ 2/* print_CIL_Input is true */ 3 4#line 19 "files/test_union_cast.c" 5struct l_struct_2E_X { 6 double field0 ; 7}; 8#line 2 "./assert.h" 9void __blast_assert(void) 10{ 11 12 { 13 ERROR: 14#line 4 15 goto ERROR; 16} 17} 18#line 24 "files/test_union_cast.c" 19int main(void) 20{ struct l_struct_2E_X llvm_cbe_var ; 21 double *__cil_tmp2 ; 22 unsigned int *__cil_tmp3 ; 23 double *__cil_tmp4 ;