Showing error 1788

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

Source: 

1769#line 62 "Email.c"
1770int createEmail(int from , int to ) 
1771{ int retValue_acc ;
1772  int msg ;
1773
1774  {
1775  {
1776#line 63
1777  msg = 1;
1778#line 64
1779  setEmailFrom(msg, from);
1780#line 65
1781  setEmailTo(msg, to);
1782#line 797 "Email.c"
1783  retValue_acc = msg;
1784  }
1785#line 799
1786  return (retValue_acc);
1787#line 806
1788  return (retValue_acc);
1789}
1790}
1791#line 1 "wsllib_check.o"
1792#pragma merger(0,"wsllib_check.i","")
1793#line 3 "wsllib_check.c"
1794void __automaton_fail(void) 
1795{ 
1796
1797  {
1798  goto ERROR;
1799  ERROR: ;
1800#line 53 "wsllib_check.c"
1801  return;
1802}
1803}
1804#line 1 "ClientLib.o"
1805#pragma merger(0,"ClientLib.i","")
1806#line 6 "ClientLib.h"
1807char *getClientName(int handle ) ;
1808#line 8
1809void setClientName(int handle , char *value ) ;
Show full sources
↑