Showing error 1675

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

Source: 

2518#line 20 "featureselect.c"
2519void select_helpers(void) 
2520{ 
2521
2522  {
2523#line 133 "featureselect.c"
2524  return;
2525}
2526}
2527#line 25 "featureselect.c"
2528int valid_product(void) 
2529{ int retValue_acc ;
2530
2531  {
2532#line 151 "featureselect.c"
2533  retValue_acc = 1;
2534#line 153
2535  return (retValue_acc);
2536#line 160
2537  return (retValue_acc);
2538}
2539}
2540#line 1 "wsllib_check.o"
2541#pragma merger(0,"wsllib_check.i","")
2542#line 3 "wsllib_check.c"
2543void __automaton_fail(void) 
2544{ 
2545
2546  {
2547  goto ERROR;
2548  ERROR: ;
2549#line 53 "wsllib_check.c"
2550  return;
2551}
2552}
2553#line 1 "ClientLib.o"
2554#pragma merger(0,"ClientLib.i","")
2555#line 6 "ClientLib.h"
2556char *getClientName(int handle ) ;
2557#line 8
2558void setClientName(int handle , char *value ) ;
Show full sources
↑