Showing error 1668

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

Source: 

2763  if (handle == 1) {
2764#line 674
2765    __ste_client_idCounter0 = value;
2766  } else {
2767#line 675
2768    if (handle == 2) {
2769#line 676
2770      __ste_client_idCounter1 = value;
2771    } else {
2772#line 677
2773      if (handle == 3) {
2774#line 678
2775        __ste_client_idCounter2 = value;
2776      } else {
2777
2778      }
2779    }
2780  }
2781#line 2682 "ClientLib.c"
2782  return;
2783}
2784}
2785#line 1 "wsllib_check.o"
2786#pragma merger(0,"wsllib_check.i","")
2787#line 3 "wsllib_check.c"
2788void __automaton_fail(void) 
2789{ 
2790
2791  {
2792  goto ERROR;
2793  ERROR: ;
2794#line 53 "wsllib_check.c"
2795  return;
2796}
2797}
2798#line 1 "Util.o"
2799#pragma merger(0,"Util.i","")
2800#line 1 "Util.h"
2801int prompt(char *msg ) ;
2802#line 9 "Util.c"
2803int prompt(char *msg )
Show full sources
↑