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_srvr_1_safe.cil.c |
Line in file: | 848 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
818 } 819#line 633 820 if (cb != 0) { 821#line 634 822 if (s__state != state) { 823#line 635 824 new_state = s__state; 825#line 636 826 s__state = state; 827#line 637 828 s__state = new_state; 829 } 830 } 831 } 832 } 833#line 650 834 skip = 0; 835 } 836 while_0_break: /* CIL Label */ ; 837 } 838 839 end: 840#line 655 841 s__in_handshake --; 842#line 656 843 if (cb != 0) { 844 845 } 846#line 661 847 return (ret); 848 //ERROR: 849#line 663 850 //return (-1); 851} 852} 853 854void ERR(){ 855 ERROR: 856 printf("error"); 857 return; 858}