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_product26_unsafe.cil.c |
Line in file: | 1558 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1528#line 47 "Email.c" 1529int createEmail(int from , int to ) 1530{ int retValue_acc ; 1531 int msg ; 1532 1533 { 1534 { 1535#line 48 1536 msg = 1; 1537#line 49 1538 setEmailFrom(msg, from); 1539#line 50 1540 setEmailTo(msg, to); 1541#line 751 "Email.c" 1542 retValue_acc = msg; 1543 } 1544#line 753 1545 return (retValue_acc); 1546#line 760 1547 return (retValue_acc); 1548} 1549} 1550#line 1 "wsllib_check.o" 1551#pragma merger(0,"wsllib_check.i","") 1552#line 3 "wsllib_check.c" 1553void __automaton_fail(void) 1554{ 1555 1556 { 1557 goto ERROR; 1558 ERROR: ; 1559#line 53 "wsllib_check.c" 1560 return; 1561} 1562} 1563#line 1 "featureselect.o" 1564#pragma merger(0,"featureselect.i","") 1565#line 41 "featureselect.h" 1566int select_one(void) ; 1567#line 8 "featureselect.c" 1568int select_one(void)