User: | Jiri Slaby |
Error type: | Reachable Error Location |
Error type description: | A specified error location is reachable in some program path |
File location: | ssh-simplified/s3_clnt_2_BUG.cil.c |
Line in file: | 751 |
Project: | SV-COMP 2012 |
Tools: |
Manual Work
|
Entered: | 2012-11-19 13:47:39 UTC |
721 } 722#line 570 723 if (cb != 0) { 724#line 571 725 if (s__state != state) { 726#line 572 727 new_state = s__state; 728#line 573 729 s__state = state; 730#line 574 731 s__state = new_state; 732 } 733 } 734 } 735 } 736#line 587 737 skip = 0; 738 } 739 while_0_break: /* CIL Label */ ; 740 } 741 742 end: 743#line 592 744 s__in_handshake --; 745#line 593 746 if (cb != 0) { 747 748 } 749#line 598 750 return (ret); 751 ERROR: 752#line 600 753 return (-1); 754} 755} 756#line 603 "s3_clnt_2_BUG.cil.c" 757int main(void) 758{ int s ; 759 760 { 761 {