Showing error 1685

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

Source: 

4242#line 227 "EmailLib.c"
4243void setEmailIsSignatureVerified(int handle , int value ) 
4244{ 
4245
4246  {
4247#line 233
4248  if (handle == 1) {
4249#line 229
4250    __ste_email_isSignatureVerified0 = value;
4251  } else {
4252#line 230
4253    if (handle == 2) {
4254#line 231
4255      __ste_email_isSignatureVerified1 = value;
4256    } else {
4257
4258    }
4259  }
4260#line 1511 "EmailLib.c"
4261  return;
4262}
4263}
4264#line 1 "wsllib_check.o"
4265#pragma merger(0,"wsllib_check.i","")
4266#line 3 "wsllib_check.c"
4267void __automaton_fail(void) 
4268{ 
4269
4270  {
4271  goto ERROR;
4272  ERROR: ;
4273#line 53 "wsllib_check.c"
4274  return;
4275}
4276}
Show full sources
↑