Showing error 2223

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

Source: 

107                                                                }
108                                                              }
109                                                            }
110                                                          }
111                                                        }
112                                                      }
113                                                    }
114                                                  }
115                                                }
116                                            }
117                                          }
118                                        }
119                                      }
120                                    }
121                                  }
122                                }
123                              }
124                            }
125                          }
126                        }
127                      }
128                    }
129                  }
130                }
131              }
132  switch_1_break: ;
133  }
134
135  end:
136  return (-1);
137  ERROR:
138  return (-1);
139}
Show full sources
↑