Showing error 1829

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


Source:

 689#line 47 "Email.c"
 690int createEmail(int from , int to ) 
 691{ int retValue_acc ;
 692  int msg ;
 693
 694  {
 695  {
 696#line 48
 697  msg = 1;
 698#line 49
 699  setEmailFrom(msg, from);
 700#line 50
 701  setEmailTo(msg, to);
 702#line 751 "Email.c"
 703  retValue_acc = msg;
 704  }
 705#line 753
 706  return (retValue_acc);
 707#line 760
 708  return (retValue_acc);
 709}
 710}
 711#line 1 "wsllib_check.o"
 712#pragma merger(0,"wsllib_check.i","")
 713#line 3 "wsllib_check.c"
 714void __automaton_fail(void) 
 715{ 
 716
 717  {
 718  goto ERROR;
 719  ERROR: ;
 720#line 53 "wsllib_check.c"
 721  return;
 722}
 723}
 724#line 1 "featureselect.o"
 725#pragma merger(0,"featureselect.i","")
 726#line 41 "featureselect.h"
 727int select_one(void) ;
 728#line 43
 729void select_features(void) ;
Show full sources