Showing error 1753

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

Source: 

3095#line 62 "Email.c"
3096int createEmail(int from , int to ) 
3097{ int retValue_acc ;
3098  int msg ;
3099
3100  {
3101  {
3102#line 63
3103  msg = 1;
3104#line 64
3105  setEmailFrom(msg, from);
3106#line 65
3107  setEmailTo(msg, to);
3108#line 797 "Email.c"
3109  retValue_acc = msg;
3110  }
3111#line 799
3112  return (retValue_acc);
3113#line 806
3114  return (retValue_acc);
3115}
3116}
3117#line 1 "wsllib_check.o"
3118#pragma merger(0,"wsllib_check.i","")
3119#line 3 "wsllib_check.c"
3120void __automaton_fail(void) 
3121{ 
3122
3123  {
3124  goto ERROR;
3125  ERROR: ;
3126#line 53 "wsllib_check.c"
3127  return;
3128}
3129}
3130#line 1 "Util.o"
3131#pragma merger(0,"Util.i","")
3132#line 1 "Util.h"
3133int prompt(char *msg ) ;
3134#line 9 "Util.c"
3135int prompt(char *msg )
Show full sources
↑