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_product16_unsafe.cil.c |
Line in file: | 2226 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
2196 } 2197 } 2198 } 2199 } 2200 } 2201 } 2202 } 2203 } 2204 } 2205 } 2206 } 2207 } 2208 while_3_break: /* CIL Label */ ; 2209 } 2210 { 2211#line 60 2212 bobToRjh(); 2213 } 2214#line 167 "scenario.c" 2215 return; 2216} 2217} 2218#line 1 "wsllib_check.o" 2219#pragma merger(0,"wsllib_check.i","") 2220#line 3 "wsllib_check.c" 2221void __automaton_fail(void) 2222{ 2223 2224 { 2225 goto ERROR; 2226 ERROR: ; 2227#line 53 "wsllib_check.c" 2228 return; 2229} 2230} 2231#line 1 "Test.o" 2232#pragma merger(0,"Test.i","") 2233#line 39 "ClientLib.h" 2234int createClientKeyringEntry(int handle ) ; 2235#line 41 2236int getClientKeyringUser(int handle , int index ) ;