Showing error 1666

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

Source: 

4031  if (handle == 1) {
4032#line 674
4033    __ste_client_idCounter0 = value;
4034  } else {
4035#line 675
4036    if (handle == 2) {
4037#line 676
4038      __ste_client_idCounter1 = value;
4039    } else {
4040#line 677
4041      if (handle == 3) {
4042#line 678
4043        __ste_client_idCounter2 = value;
4044      } else {
4045
4046      }
4047    }
4048  }
4049#line 2682 "ClientLib.c"
4050  return;
4051}
4052}
4053#line 1 "wsllib_check.o"
4054#pragma merger(0,"wsllib_check.i","")
4055#line 3 "wsllib_check.c"
4056void __automaton_fail(void) 
4057{ 
4058
4059  {
4060  goto ERROR;
4061  ERROR: ;
4062#line 53 "wsllib_check.c"
4063  return;
4064}
4065}
4066#line 1 "Util.o"
4067#pragma merger(0,"Util.i","")
4068#line 1 "Util.h"
4069int prompt(char *msg ) ;
4070#line 9 "Util.c"
4071int prompt(char *msg )
Show full sources
↑