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_product27_unsafe.cil.c |
Line in file: | 2859 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
2829 } 2830 } 2831 } 2832 } 2833 } 2834 } 2835 } 2836 } 2837 } 2838 } 2839 } 2840 } 2841 while_3_break: /* CIL Label */ ; 2842 } 2843 { 2844#line 62 2845 bobToRjh(); 2846 } 2847#line 171 "scenario.c" 2848 return; 2849} 2850} 2851#line 1 "wsllib_check.o" 2852#pragma merger(0,"wsllib_check.i","") 2853#line 3 "wsllib_check.c" 2854void __automaton_fail(void) 2855{ 2856 2857 { 2858 goto ERROR; 2859 ERROR: ; 2860#line 53 "wsllib_check.c" 2861 return; 2862} 2863} 2864#line 1 "ClientLib.o" 2865#pragma merger(0,"ClientLib.i","") 2866#line 6 "ClientLib.h" 2867char *getClientName(int handle ) ; 2868#line 8 2869void setClientName(int handle , char *value ) ;