Showing error 1783

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

Source: 

4425  {
4426  {
4427#line 198
4428  generateKeyPair(rjh, 666);
4429  }
4430#line 1801 "Test.c"
4431  return;
4432}
4433}
4434#line 204 "Test.c"
4435void rjhSetAutoRespond(void) 
4436{ 
4437
4438  {
4439  {
4440#line 205
4441  setClientAutoResponse(rjh, 1);
4442  }
4443#line 1821 "Test.c"
4444  return;
4445}
4446}
4447#line 1 "wsllib_check.o"
4448#pragma merger(0,"wsllib_check.i","")
4449#line 3 "wsllib_check.c"
4450void __automaton_fail(void) 
4451{ 
4452
4453  {
4454  goto ERROR;
4455  ERROR: ;
4456#line 53 "wsllib_check.c"
4457  return;
4458}
4459}
Show full sources
↑