Showing error 1699

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

Source: 

4552#line 227 "EmailLib.c"
4553void setEmailIsSignatureVerified(int handle , int value ) 
4554{ 
4555
4556  {
4557#line 233
4558  if (handle == 1) {
4559#line 229
4560    __ste_email_isSignatureVerified0 = value;
4561  } else {
4562#line 230
4563    if (handle == 2) {
4564#line 231
4565      __ste_email_isSignatureVerified1 = value;
4566    } else {
4567
4568    }
4569  }
4570#line 1511 "EmailLib.c"
4571  return;
4572}
4573}
4574#line 1 "wsllib_check.o"
4575#pragma merger(0,"wsllib_check.i","")
4576#line 3 "wsllib_check.c"
4577void __automaton_fail(void) 
4578{ 
4579
4580  {
4581  goto ERROR;
4582  ERROR: ;
4583#line 53 "wsllib_check.c"
4584  return;
4585}
4586}
Show full sources
↑