Showing error 1708

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

Source: 

2679  if (handle == 1) {
2680#line 674
2681    __ste_client_idCounter0 = value;
2682  } else {
2683#line 675
2684    if (handle == 2) {
2685#line 676
2686      __ste_client_idCounter1 = value;
2687    } else {
2688#line 677
2689      if (handle == 3) {
2690#line 678
2691        __ste_client_idCounter2 = value;
2692      } else {
2693
2694      }
2695    }
2696  }
2697#line 2682 "ClientLib.c"
2698  return;
2699}
2700}
2701#line 1 "wsllib_check.o"
2702#pragma merger(0,"wsllib_check.i","")
2703#line 3 "wsllib_check.c"
2704void __automaton_fail(void) 
2705{ 
2706
2707  {
2708  goto ERROR;
2709  ERROR: ;
2710#line 53 "wsllib_check.c"
2711  return;
2712}
2713}
2714#line 1 "Test.o"
2715#pragma merger(0,"Test.i","")
2716#line 43 "featureselect.h"
2717void select_features(void) ;
2718#line 45
2719void select_helpers(void) ;
Show full sources
↑