Showing error 1740

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

Source: 

4323#line 227 "EmailLib.c"
4324void setEmailIsSignatureVerified(int handle , int value ) 
4325{ 
4326
4327  {
4328#line 233
4329  if (handle == 1) {
4330#line 229
4331    __ste_email_isSignatureVerified0 = value;
4332  } else {
4333#line 230
4334    if (handle == 2) {
4335#line 231
4336      __ste_email_isSignatureVerified1 = value;
4337    } else {
4338
4339    }
4340  }
4341#line 1511 "EmailLib.c"
4342  return;
4343}
4344}
4345#line 1 "wsllib_check.o"
4346#pragma merger(0,"wsllib_check.i","")
4347#line 3 "wsllib_check.c"
4348void __automaton_fail(void) 
4349{ 
4350
4351  {
4352  goto ERROR;
4353  ERROR: ;
4354#line 53 "wsllib_check.c"
4355  return;
4356}
4357}
Show full sources
↑