Showing error 1814

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: product-lines/email_spec8_product26_unsafe.cil.c
Line in file: 1149
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1119  {
1120#line 1387 "Client.c"
1121  return;
1122}
1123}
1124#line 215 "Client.c"
1125void forward(int client , int msg ) 
1126{ 
1127
1128  {
1129  {
1130#line 216
1131  puts("Forwarding message.\n");
1132#line 217
1133  printMail(msg);
1134#line 218
1135  queue(client, msg);
1136  }
1137#line 1411 "Client.c"
1138  return;
1139}
1140}
1141#line 1 "wsllib_check.o"
1142#pragma merger(0,"wsllib_check.i","")
1143#line 3 "wsllib_check.c"
1144void __automaton_fail(void) 
1145{ 
1146
1147  {
1148  goto ERROR;
1149  ERROR: ;
1150#line 53 "wsllib_check.c"
1151  return;
1152}
1153}
1154#line 1 "libacc.o"
1155#pragma merger(0,"libacc.i","")
1156#line 73 "/usr/include/assert.h"
1157extern  __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const   *__assertion ,
1158                                                                      char const   *__file ,
1159                                                                      unsigned int __line ,
Show full sources
↑