Showing error 1690

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

Source: 

2221  {
2222  {
2223#line 205
2224  setClientAutoResponse(rjh, 1);
2225  }
2226#line 1821 "Test.c"
2227  return;
2228}
2229}
2230#line 211 "Test.c"
2231void rjhEnableForwarding(void) 
2232{ 
2233
2234  {
2235  {
2236#line 212
2237  setClientForwardReceiver(rjh, chuck);
2238  }
2239#line 1841 "Test.c"
2240  return;
2241}
2242}
2243#line 1 "wsllib_check.o"
2244#pragma merger(0,"wsllib_check.i","")
2245#line 3 "wsllib_check.c"
2246void __automaton_fail(void) 
2247{ 
2248
2249  {
2250  goto ERROR;
2251  ERROR: ;
2252#line 53 "wsllib_check.c"
2253  return;
2254}
2255}
2256#line 1 "ClientLib.o"
2257#pragma merger(0,"ClientLib.i","")
2258#line 4 "ClientLib.h"
2259int initClient(void) ;
2260#line 6
2261char *getClientName(int handle ) ;
Show full sources
↑