Showing error 1732

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

Source: 

3277#line 227 "EmailLib.c"
3278void setEmailIsSignatureVerified(int handle , int value ) 
3279{ 
3280
3281  {
3282#line 233
3283  if (handle == 1) {
3284#line 229
3285    __ste_email_isSignatureVerified0 = value;
3286  } else {
3287#line 230
3288    if (handle == 2) {
3289#line 231
3290      __ste_email_isSignatureVerified1 = value;
3291    } else {
3292
3293    }
3294  }
3295#line 1511 "EmailLib.c"
3296  return;
3297}
3298}
3299#line 1 "wsllib_check.o"
3300#pragma merger(0,"wsllib_check.i","")
3301#line 3 "wsllib_check.c"
3302void __automaton_fail(void) 
3303{ 
3304
3305  {
3306  goto ERROR;
3307  ERROR: ;
3308#line 53 "wsllib_check.c"
3309  return;
3310}
3311}
3312#line 1 "Email.o"
3313#pragma merger(0,"Email.i","")
3314#line 6 "Email.h"
3315void printMail(int msg ) ;
3316#line 15
3317int cloneEmail(int msg ) ;
Show full sources
↑