Showing error 1811

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

Source: 

1197#line 227 "EmailLib.c"
1198void setEmailIsSignatureVerified(int handle , int value ) 
1199{ 
1200
1201  {
1202#line 233
1203  if (handle == 1) {
1204#line 229
1205    __ste_email_isSignatureVerified0 = value;
1206  } else {
1207#line 230
1208    if (handle == 2) {
1209#line 231
1210      __ste_email_isSignatureVerified1 = value;
1211    } else {
1212
1213    }
1214  }
1215#line 1511 "EmailLib.c"
1216  return;
1217}
1218}
1219#line 1 "wsllib_check.o"
1220#pragma merger(0,"wsllib_check.i","")
1221#line 3 "wsllib_check.c"
1222void __automaton_fail(void) 
1223{ 
1224
1225  {
1226  goto ERROR;
1227  ERROR: ;
1228#line 53 "wsllib_check.c"
1229  return;
1230}
1231}
1232#line 1 "ClientLib.o"
1233#pragma merger(0,"ClientLib.i","")
1234#line 4 "ClientLib.h"
1235int initClient(void) ;
1236#line 6
1237char *getClientName(int handle ) ;
Show full sources
↑