Showing error 1802

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


Source:

 347#line 20 "featureselect.c"
 348void select_helpers(void) 
 349{ 
 350
 351  {
 352#line 133 "featureselect.c"
 353  return;
 354}
 355}
 356#line 25 "featureselect.c"
 357int valid_product(void) 
 358{ int retValue_acc ;
 359
 360  {
 361#line 151 "featureselect.c"
 362  retValue_acc = 1;
 363#line 153
 364  return (retValue_acc);
 365#line 160
 366  return (retValue_acc);
 367}
 368}
 369#line 1 "wsllib_check.o"
 370#pragma merger(0,"wsllib_check.i","")
 371#line 3 "wsllib_check.c"
 372void __automaton_fail(void) 
 373{ 
 374
 375  {
 376  goto ERROR;
 377  ERROR: ;
 378#line 53 "wsllib_check.c"
 379  return;
 380}
 381}
 382#line 1 "Client.o"
 383#pragma merger(0,"Client.i","")
 384#line 688 "/usr/include/stdio.h"
 385extern int puts(char const   *__s ) ;
 386#line 4 "ClientLib.h"
 387int initClient(void) ;
Show full sources