Showing error 48

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_3_BUG.cil.c
Line in file: 784
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

754        }
755#line 570
756        if (cb != 0) {
757#line 571
758          if (s__state != state) {
759#line 572
760            new_state = s__state;
761#line 573
762            s__state = state;
763#line 574
764            s__state = new_state;
765          }
766        }
767      }
768    }
769#line 587
770    skip = 0;
771  }
772  while_0_break: /* CIL Label */ ;
773  }
774
775  end: 
776#line 592
777  s__in_handshake --;
778#line 593
779  if (cb != 0) {
780
781  }
782#line 598
783  return (ret);
784  ERROR: 
785#line 600
786  return (-1);
787}
788}
789#line 603 "s3_clnt_3_BUG.cil.c"
790int main(void) 
791{ int s ;
792
793  {
794  {
Show full sources
↑