Showing error 1748

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

Source: 

3297#line 227 "EmailLib.c"
3298void setEmailIsSignatureVerified(int handle , int value ) 
3299{ 
3300
3301  {
3302#line 233
3303  if (handle == 1) {
3304#line 229
3305    __ste_email_isSignatureVerified0 = value;
3306  } else {
3307#line 230
3308    if (handle == 2) {
3309#line 231
3310      __ste_email_isSignatureVerified1 = value;
3311    } else {
3312
3313    }
3314  }
3315#line 1511 "EmailLib.c"
3316  return;
3317}
3318}
3319#line 1 "wsllib_check.o"
3320#pragma merger(0,"wsllib_check.i","")
3321#line 3 "wsllib_check.c"
3322void __automaton_fail(void) 
3323{ 
3324
3325  {
3326  goto ERROR;
3327  ERROR: ;
3328#line 53 "wsllib_check.c"
3329  return;
3330}
3331}
3332#line 1 "featureselect.o"
3333#pragma merger(0,"featureselect.i","")
3334#line 41 "featureselect.h"
3335int select_one(void) ;
3336#line 8 "featureselect.c"
3337int select_one(void)
Show full sources
↑