err.c File Reference

#include <err.h>
#include <stdlib.h>

Include dependency graph for err.c:

Go to the source code of this file.

Macros
#define	__CPROVER_ERR_H_INCLUDED
#define	__CPROVER_STDLIB_H_INCLUDED

Functions
void	err (int eval, const char *fmt,...)
void	errx (int eval, const char *fmt,...)
void	warn (const char *fmt,...)
void	warnx (const char *fmt,...)

Macro Definition Documentation

__CPROVER_ERR_H_INCLUDED

#define __CPROVER_ERR_H_INCLUDED

Definition at line 5 of file err.c.

__CPROVER_STDLIB_H_INCLUDED

#define __CPROVER_STDLIB_H_INCLUDED

Definition at line 10 of file err.c.

Function Documentation

err()

void err	(	int	eval,
		const char *	fmt,
			... )

Definition at line 13 of file err.c.

errx()

void errx	(	int	eval,
		const char *	fmt,
			... )

Definition at line 32 of file err.c.

warn()

void warn	(	const char *	fmt,
			... )

Definition at line 46 of file err.c.

warnx()

void warnx	(	const char *	fmt,
			... )

Definition at line 58 of file err.c.