Showing error 1808

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

Source: 

1032#line 169 "Client.c"
1033void generateKeyPair(int client , int seed ) 
1034{ 
1035
1036  {
1037  {
1038#line 170
1039  setClientPrivateKey(client, seed);
1040  }
1041#line 1167 "Client.c"
1042  return;
1043}
1044}
1045#line 175 "Client.c"
1046void sendToAddressBook(int client , int msg ) 
1047{ 
1048
1049  {
1050#line 1185 "Client.c"
1051  return;
1052}
1053}
1054#line 1 "wsllib_check.o"
1055#pragma merger(0,"wsllib_check.i","")
1056#line 3 "wsllib_check.c"
1057void __automaton_fail(void) 
1058{ 
1059
1060  {
1061  goto ERROR;
1062  ERROR: ;
1063#line 53 "wsllib_check.c"
1064  return;
1065}
1066}
1067#line 1 "Email.o"
1068#pragma merger(0,"Email.i","")
1069#line 6 "EmailLib.h"
1070int getEmailId(int handle ) ;
1071#line 10
1072int getEmailFrom(int handle ) ;
Show full sources
↑