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_product30_unsafe.cil.c |
Line in file: | 3248 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
3218 if (handle == 1) { 3219#line 674 3220 __ste_client_idCounter0 = value; 3221 } else { 3222#line 675 3223 if (handle == 2) { 3224#line 676 3225 __ste_client_idCounter1 = value; 3226 } else { 3227#line 677 3228 if (handle == 3) { 3229#line 678 3230 __ste_client_idCounter2 = value; 3231 } else { 3232 3233 } 3234 } 3235 } 3236#line 2682 "ClientLib.c" 3237 return; 3238} 3239} 3240#line 1 "wsllib_check.o" 3241#pragma merger(0,"wsllib_check.i","") 3242#line 3 "wsllib_check.c" 3243void __automaton_fail(void) 3244{ 3245 3246 { 3247 goto ERROR; 3248 ERROR: ; 3249#line 53 "wsllib_check.c" 3250 return; 3251} 3252} 3253#line 1 "featureselect.o" 3254#pragma merger(0,"featureselect.i","") 3255#line 41 "featureselect.h" 3256int select_one(void) ; 3257#line 43 3258void select_features(void) ;