Showing error 1795

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

Source: 

4298#line 20 "featureselect.c"
4299void select_helpers(void) 
4300{ 
4301
4302  {
4303#line 133 "featureselect.c"
4304  return;
4305}
4306}
4307#line 25 "featureselect.c"
4308int valid_product(void) 
4309{ int retValue_acc ;
4310
4311  {
4312#line 151 "featureselect.c"
4313  retValue_acc = 1;
4314#line 153
4315  return (retValue_acc);
4316#line 160
4317  return (retValue_acc);
4318}
4319}
4320#line 1 "wsllib_check.o"
4321#pragma merger(0,"wsllib_check.i","")
4322#line 3 "wsllib_check.c"
4323void __automaton_fail(void) 
4324{ 
4325
4326  {
4327  goto ERROR;
4328  ERROR: ;
4329#line 53 "wsllib_check.c"
4330  return;
4331}
4332}
Show full sources
↑