Showing error 1754

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

Source: 

4308int prompt(char *msg ) ;
4309#line 9 "Util.c"
4310int prompt(char *msg ) 
4311{ int retValue_acc ;
4312  int retval ;
4313  char const   * __restrict  __cil_tmp4 ;
4314
4315  {
4316  {
4317#line 10
4318  __cil_tmp4 = (char const   * __restrict  )"%s\n";
4319#line 10
4320  printf(__cil_tmp4, msg);
4321#line 518 "Util.c"
4322  retValue_acc = retval;
4323  }
4324#line 520
4325  return (retValue_acc);
4326#line 527
4327  return (retValue_acc);
4328}
4329}
4330#line 1 "wsllib_check.o"
4331#pragma merger(0,"wsllib_check.i","")
4332#line 3 "wsllib_check.c"
4333void __automaton_fail(void) 
4334{ 
4335
4336  {
4337  goto ERROR;
4338  ERROR: ;
4339#line 53 "wsllib_check.c"
4340  return;
4341}
4342}
4343#line 1 "scenario.o"
4344#pragma merger(0,"scenario.i","")
4345#line 1 "scenario.c"
4346void test(void) 
4347{ int op1 ;
4348  int op2 ;
Show full sources
↑