Showing error 53

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

Source: 

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