Showing error 1711

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

Source: 

4340  {
4341#line 1379 "Client.c"
4342  return;
4343}
4344}
4345#line 215 "Client.c"
4346void forward(int client , int msg ) 
4347{ 
4348
4349  {
4350  {
4351#line 216
4352  puts("Forwarding message.\n");
4353#line 217
4354  printMail(msg);
4355#line 218
4356  queue(client, msg);
4357  }
4358#line 1403 "Client.c"
4359  return;
4360}
4361}
4362#line 1 "wsllib_check.o"
4363#pragma merger(0,"wsllib_check.i","")
4364#line 3 "wsllib_check.c"
4365void __automaton_fail(void) 
4366{ 
4367
4368  {
4369  goto ERROR;
4370  ERROR: ;
4371#line 53 "wsllib_check.c"
4372  return;
4373}
4374}
4375#line 1 "Util.o"
4376#pragma merger(0,"Util.i","")
4377#line 1 "Util.h"
4378int prompt(char *msg ) ;
4379#line 9 "Util.c"
4380int prompt(char *msg )
Show full sources
↑