Showing error 1673

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_spec0_product26_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: 

4363int prompt(char *msg ) ;
4364#line 9 "Util.c"
4365int prompt(char *msg ) 
4366{ int retValue_acc ;
4367  int retval ;
4368  char const   * __restrict  __cil_tmp4 ;
4369
4370  {
4371  {
4372#line 10
4373  __cil_tmp4 = (char const   * __restrict  )"%s\n";
4374#line 10
4375  printf(__cil_tmp4, msg);
4376#line 518 "Util.c"
4377  retValue_acc = retval;
4378  }
4379#line 520
4380  return (retValue_acc);
4381#line 527
4382  return (retValue_acc);
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
↑