Showing error 1739

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

Source: 

4202  if (handle == 1) {
4203#line 674
4204    __ste_client_idCounter0 = value;
4205  } else {
4206#line 675
4207    if (handle == 2) {
4208#line 676
4209      __ste_client_idCounter1 = value;
4210    } else {
4211#line 677
4212      if (handle == 3) {
4213#line 678
4214        __ste_client_idCounter2 = value;
4215      } else {
4216
4217      }
4218    }
4219  }
4220#line 2682 "ClientLib.c"
4221  return;
4222}
4223}
4224#line 1 "wsllib_check.o"
4225#pragma merger(0,"wsllib_check.i","")
4226#line 3 "wsllib_check.c"
4227void __automaton_fail(void) 
4228{ 
4229
4230  {
4231  goto ERROR;
4232  ERROR: ;
4233#line 53 "wsllib_check.c"
4234  return;
4235}
4236}
4237#line 1 "Util.o"
4238#pragma merger(0,"Util.i","")
4239#line 1 "Util.h"
4240int prompt(char *msg ) ;
4241#line 9 "Util.c"
4242int prompt(char *msg )
Show full sources
↑