User: | Jiri Slaby |
Error type: | Reachable Error Location |
Error type description: | A specified error location is reachable in some program path |
File location: | pthread/reorder_5_unsafe.cil.c |
Line in file: | 606 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
576 { 577#line 78 578 if (a == 0) { 579#line 78 580 if (b == 0) { 581 582 } else { 583 goto _L___0; 584 } 585 } else { 586 _L___0: /* CIL Label */ 587#line 78 588 if (a == 1) { 589#line 78 590 if (b == -1) { 591 592 } else { 593 goto _L; 594 } 595 } else { 596 _L: /* CIL Label */ 597 { 598#line 79 599 __cil_tmp2 = (FILE * __restrict )stderr; 600#line 79 601 __cil_tmp3 = (char const * __restrict )"Bug found!\n"; 602#line 79 603 fprintf(__cil_tmp2, __cil_tmp3); 604 } 605 goto ERROR; 606 ERROR: ; 607 } 608 } 609#line 86 610 return ((void *)0); 611} 612}