Showing error 1734

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

Source: 

1755    tmp = getEmailFrom(msg);
1756#line 18
1757    tmp___0 = findPublicKey(client, tmp);
1758#line 18
1759    pubkey = tmp___0;
1760    }
1761#line 19
1762    if (pubkey == 0) {
1763      {
1764#line 20
1765      __automaton_fail();
1766      }
1767    } else {
1768
1769    }
1770  } else {
1771
1772  }
1773#line 20
1774  return;
1775}
1776}
1777#line 1 "wsllib_check.o"
1778#pragma merger(0,"wsllib_check.i","")
1779#line 3 "wsllib_check.c"
1780void __automaton_fail(void) 
1781{ 
1782
1783  {
1784  goto ERROR;
1785  ERROR: ;
1786#line 53 "wsllib_check.c"
1787  return;
1788}
1789}
1790#line 1 "Util.o"
1791#pragma merger(0,"Util.i","")
1792#line 359 "/usr/include/stdio.h"
1793extern int printf(char const   * __restrict  __format  , ...) ;
1794#line 1 "Util.h"
1795int prompt(char *msg ) ;
Show full sources
↑