Showing error 1694

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

Source: 

4032#line 227 "EmailLib.c"
4033void setEmailIsSignatureVerified(int handle , int value ) 
4034{ 
4035
4036  {
4037#line 233
4038  if (handle == 1) {
4039#line 229
4040    __ste_email_isSignatureVerified0 = value;
4041  } else {
4042#line 230
4043    if (handle == 2) {
4044#line 231
4045      __ste_email_isSignatureVerified1 = value;
4046    } else {
4047
4048    }
4049  }
4050#line 1511 "EmailLib.c"
4051  return;
4052}
4053}
4054#line 1 "wsllib_check.o"
4055#pragma merger(0,"wsllib_check.i","")
4056#line 3 "wsllib_check.c"
4057void __automaton_fail(void) 
4058{ 
4059
4060  {
4061  goto ERROR;
4062  ERROR: ;
4063#line 53 "wsllib_check.c"
4064  return;
4065}
4066}
4067#line 1 "featureselect.o"
4068#pragma merger(0,"featureselect.i","")
4069#line 41 "featureselect.h"
4070int select_one(void) ;
4071#line 8 "featureselect.c"
4072int select_one(void)
Show full sources
↑