Showing error 1794

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

Source: 

1368#line 227 "EmailLib.c"
1369void setEmailIsSignatureVerified(int handle , int value ) 
1370{ 
1371
1372  {
1373#line 233
1374  if (handle == 1) {
1375#line 229
1376    __ste_email_isSignatureVerified0 = value;
1377  } else {
1378#line 230
1379    if (handle == 2) {
1380#line 231
1381      __ste_email_isSignatureVerified1 = value;
1382    } else {
1383
1384    }
1385  }
1386#line 1511 "EmailLib.c"
1387  return;
1388}
1389}
1390#line 1 "wsllib_check.o"
1391#pragma merger(0,"wsllib_check.i","")
1392#line 3 "wsllib_check.c"
1393void __automaton_fail(void) 
1394{ 
1395
1396  {
1397  goto ERROR;
1398  ERROR: ;
1399#line 53 "wsllib_check.c"
1400  return;
1401}
1402}
1403#line 1 "featureselect.o"
1404#pragma merger(0,"featureselect.i","")
1405#line 41 "featureselect.h"
1406int select_one(void) ;
1407#line 43
1408void select_features(void) ;
Show full sources
↑