Showing error 1812

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

Source: 

1149  {
1150#line 1218 "Client.c"
1151  return;
1152}
1153}
1154#line 195 "Client.c"
1155void forward(int client , int msg ) 
1156{ 
1157
1158  {
1159  {
1160#line 196
1161  puts("Forwarding message.\n");
1162#line 197
1163  printMail(msg);
1164#line 198
1165  queue(client, msg);
1166  }
1167#line 1242 "Client.c"
1168  return;
1169}
1170}
1171#line 1 "wsllib_check.o"
1172#pragma merger(0,"wsllib_check.i","")
1173#line 3 "wsllib_check.c"
1174void __automaton_fail(void) 
1175{ 
1176
1177  {
1178  goto ERROR;
1179  ERROR: ;
1180#line 53 "wsllib_check.c"
1181  return;
1182}
1183}
1184#line 1 "scenario.o"
1185#pragma merger(0,"scenario.i","")
1186#line 1 "scenario.c"
1187void test(void) 
1188{ int op1 ;
1189  int op2 ;
Show full sources
↑