Showing error 1822

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

Source: 

1262#line 213
1263  setClientAddressBookAddress(bob, 0, rjh);
1264#line 214
1265  setClientAddressBookAddress(bob, 1, chuck);
1266  }
1267#line 1855 "Test.c"
1268  return;
1269}
1270}
1271#line 220 "Test.c"
1272void rjhEnableForwarding(void) 
1273{ 
1274
1275  {
1276  {
1277#line 221
1278  setClientForwardReceiver(rjh, chuck);
1279  }
1280#line 1875 "Test.c"
1281  return;
1282}
1283}
1284#line 1 "wsllib_check.o"
1285#pragma merger(0,"wsllib_check.i","")
1286#line 3 "wsllib_check.c"
1287void __automaton_fail(void) 
1288{ 
1289
1290  {
1291  goto ERROR;
1292  ERROR: ;
1293#line 53 "wsllib_check.c"
1294  return;
1295}
1296}
1297#line 1 "featureselect.o"
1298#pragma merger(0,"featureselect.i","")
1299#line 41 "featureselect.h"
1300int select_one(void) ;
1301#line 8 "featureselect.c"
1302int select_one(void)
Show full sources
↑