Showing error 2222

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_safe.cil.c
Line in file: 214
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

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