Showing error 52

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

Source: 

179                                                                }
180                                                              }
181                                                            }
182                                                          }
183                                                        }
184                                                      }
185                                                    }
186                                                  }
187                                                }
188                                            }
189                                          }
190                                        }
191                                      }
192                                    }
193                                  }
194                                }
195                              }
196                            }
197                          }
198                        }
199                      }
200                    }
201                  }
202                }
203              }
204  switch_1_break: ;
205  }
206
207  end:
208  return (-1);
209  ERROR:
210  return (-1);
211}
Show full sources
↑