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_spec1_product26_unsafe.cil.c |
Line in file: | 1587 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1557 } 1558 } 1559 } 1560 } 1561 } 1562 } 1563 } 1564 } 1565 } 1566 } 1567 } 1568 } 1569 while_0_break: /* CIL Label */ ; 1570 } 1571 { 1572#line 62 1573 bobToRjh(); 1574 } 1575#line 171 "scenario.c" 1576 return; 1577} 1578} 1579#line 1 "wsllib_check.o" 1580#pragma merger(0,"wsllib_check.i","") 1581#line 3 "wsllib_check.c" 1582void __automaton_fail(void) 1583{ 1584 1585 { 1586 goto ERROR; 1587 ERROR: ; 1588#line 53 "wsllib_check.c" 1589 return; 1590} 1591} 1592#line 1 "ClientLib.o" 1593#pragma merger(0,"ClientLib.i","") 1594#line 6 "ClientLib.h" 1595char *getClientName(int handle ) ; 1596#line 8 1597void setClientName(int handle , char *value ) ;