Showing error 1762

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

Source: 

4338  if (handle == 1) {
4339#line 674
4340    __ste_client_idCounter0 = value;
4341  } else {
4342#line 675
4343    if (handle == 2) {
4344#line 676
4345      __ste_client_idCounter1 = value;
4346    } else {
4347#line 677
4348      if (handle == 3) {
4349#line 678
4350        __ste_client_idCounter2 = value;
4351      } else {
4352
4353      }
4354    }
4355  }
4356#line 2682 "ClientLib.c"
4357  return;
4358}
4359}
4360#line 1 "wsllib_check.o"
4361#pragma merger(0,"wsllib_check.i","")
4362#line 3 "wsllib_check.c"
4363void __automaton_fail(void) 
4364{ 
4365
4366  {
4367  goto ERROR;
4368  ERROR: ;
4369#line 53 "wsllib_check.c"
4370  return;
4371}
4372}
Show full sources
↑