Showing error 1832

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

Source: 

4349#line 227 "EmailLib.c"
4350void setEmailIsSignatureVerified(int handle , int value ) 
4351{ 
4352
4353  {
4354#line 233
4355  if (handle == 1) {
4356#line 229
4357    __ste_email_isSignatureVerified0 = value;
4358  } else {
4359#line 230
4360    if (handle == 2) {
4361#line 231
4362      __ste_email_isSignatureVerified1 = value;
4363    } else {
4364
4365    }
4366  }
4367#line 1511 "EmailLib.c"
4368  return;
4369}
4370}
4371#line 1 "wsllib_check.o"
4372#pragma merger(0,"wsllib_check.i","")
4373#line 3 "wsllib_check.c"
4374void __automaton_fail(void) 
4375{ 
4376
4377  {
4378  goto ERROR;
4379  ERROR: ;
4380#line 53 "wsllib_check.c"
4381  return;
4382}
4383}
Show full sources
↑