Showing error 1793

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

Source: 

2591  {
2592  {
2593#line 198
2594  generateKeyPair(rjh, 666);
2595  }
2596#line 1801 "Test.c"
2597  return;
2598}
2599}
2600#line 204 "Test.c"
2601void rjhEnableForwarding(void) 
2602{ 
2603
2604  {
2605  {
2606#line 205
2607  setClientForwardReceiver(rjh, chuck);
2608  }
2609#line 1821 "Test.c"
2610  return;
2611}
2612}
2613#line 1 "wsllib_check.o"
2614#pragma merger(0,"wsllib_check.i","")
2615#line 3 "wsllib_check.c"
2616void __automaton_fail(void) 
2617{ 
2618
2619  {
2620  goto ERROR;
2621  ERROR: ;
2622#line 53 "wsllib_check.c"
2623  return;
2624}
2625}
2626#line 1 "ClientLib.o"
2627#pragma merger(0,"ClientLib.i","")
2628#line 6 "ClientLib.h"
2629char *getClientName(int handle ) ;
2630#line 8
2631void setClientName(int handle , char *value ) ;
Show full sources
↑