Showing error 1781

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

Source: 

4363  if (handle == 1) {
4364#line 674
4365    __ste_client_idCounter0 = value;
4366  } else {
4367#line 675
4368    if (handle == 2) {
4369#line 676
4370      __ste_client_idCounter1 = value;
4371    } else {
4372#line 677
4373      if (handle == 3) {
4374#line 678
4375        __ste_client_idCounter2 = value;
4376      } else {
4377
4378      }
4379    }
4380  }
4381#line 2682 "ClientLib.c"
4382  return;
4383}
4384}
4385#line 1 "wsllib_check.o"
4386#pragma merger(0,"wsllib_check.i","")
4387#line 3 "wsllib_check.c"
4388void __automaton_fail(void) 
4389{ 
4390
4391  {
4392  goto ERROR;
4393  ERROR: ;
4394#line 53 "wsllib_check.c"
4395  return;
4396}
4397}
Show full sources
↑