Showing error 1750

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

Source: 

2715#line 20 "featureselect.c"
2716void select_helpers(void) 
2717{ 
2718
2719  {
2720#line 133 "featureselect.c"
2721  return;
2722}
2723}
2724#line 25 "featureselect.c"
2725int valid_product(void) 
2726{ int retValue_acc ;
2727
2728  {
2729#line 151 "featureselect.c"
2730  retValue_acc = 1;
2731#line 153
2732  return (retValue_acc);
2733#line 160
2734  return (retValue_acc);
2735}
2736}
2737#line 1 "wsllib_check.o"
2738#pragma merger(0,"wsllib_check.i","")
2739#line 3 "wsllib_check.c"
2740void __automaton_fail(void) 
2741{ 
2742
2743  {
2744  goto ERROR;
2745  ERROR: ;
2746#line 53 "wsllib_check.c"
2747  return;
2748}
2749}
2750#line 1 "scenario.o"
2751#pragma merger(0,"scenario.i","")
2752#line 1 "scenario.c"
2753void test(void) 
2754{ int op1 ;
2755  int op2 ;
Show full sources
↑