Showing error 1806

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

Source: 

5055#line 252
5056  setClientAddressBookAddress(bob, 0, rjh);
5057#line 253
5058  setClientAddressBookAddress(bob, 1, chuck);
5059  }
5060#line 1938 "Test.c"
5061  return;
5062}
5063}
5064#line 259 "Test.c"
5065void rjhEnableForwarding(void) 
5066{ 
5067
5068  {
5069  {
5070#line 260
5071  setClientForwardReceiver(rjh, chuck);
5072  }
5073#line 1958 "Test.c"
5074  return;
5075}
5076}
5077#line 1 "wsllib_check.o"
5078#pragma merger(0,"wsllib_check.i","")
5079#line 3 "wsllib_check.c"
5080void __automaton_fail(void) 
5081{ 
5082
5083  {
5084  goto ERROR;
5085  ERROR: ;
5086#line 53 "wsllib_check.c"
5087  return;
5088}
5089}
Show full sources
↑