Showing error 1782

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

Source: 

2745  if (handle == 1) {
2746#line 674
2747    __ste_client_idCounter0 = value;
2748  } else {
2749#line 675
2750    if (handle == 2) {
2751#line 676
2752      __ste_client_idCounter1 = value;
2753    } else {
2754#line 677
2755      if (handle == 3) {
2756#line 678
2757        __ste_client_idCounter2 = value;
2758      } else {
2759
2760      }
2761    }
2762  }
2763#line 2682 "ClientLib.c"
2764  return;
2765}
2766}
2767#line 1 "wsllib_check.o"
2768#pragma merger(0,"wsllib_check.i","")
2769#line 3 "wsllib_check.c"
2770void __automaton_fail(void) 
2771{ 
2772
2773  {
2774  goto ERROR;
2775  ERROR: ;
2776#line 53 "wsllib_check.c"
2777  return;
2778}
2779}
2780#line 1 "scenario.o"
2781#pragma merger(0,"scenario.i","")
2782#line 1 "scenario.c"
2783void test(void) 
2784{ int op1 ;
2785  int op2 ;
Show full sources
↑