[splint.git] / test / temp / gethostbyname.c

# include <netdb.h>

/*@-incondefs@*/ /* Suppress warning about inconsistent definition. */
extern /*@dependent@*/ struct hostent *gethostbyname (const char *) ;
/*@=incondefs@*/

void f (const char *name)
{
  struct hostent *hname = gethostbyname (name);

  return;
}
Commit	Line	Data
80ee600a	1	# include <netdb.h>
	2
	3	/@-incondefs@/ /* Suppress warning about inconsistent definition. */
	4	extern /@dependent@/ struct hostent gethostbyname (const char ) ;
	5	/@=incondefs@/
	6
	7	void f (const char *name)
	8	{
	9	struct hostent *hname = gethostbyname (name);
	10
	11	return;
	12	}