io.c File Reference

#include <errno.h>
#include <fcntl.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>

Include dependency graph for io.c:

Functions
_Bool	__ESBMC_sv_comp (void)
int	putchar (int c)
int	puts (const char *s)
char *	gets (char *str)
FILE *	fopen (const char *filename, const char *m)
int	fclose (FILE *stream)
FILE *	fdopen (int handle, const char *m)
char *	fgets (char *str, int size, FILE *stream)
ssize_t	getline (char **lineptr, size_t *n, FILE *stream)
size_t	fread (void *ptr, size_t size, size_t nitems, FILE *stream)
int	feof (FILE *stream)
int	ferror (FILE *stream)
int	fileno (FILE *stream)
int	fputs (const char *s, FILE *stream)
int	fflush (FILE *stream)
int	fpurge (FILE *stream)
ssize_t	read (int fildes, void *buf, size_t nbyte)
int	fgetc (FILE *stream)
int	getc (FILE *stream)
int	getchar ()
int	getw (FILE *stream)
int	fseek (FILE *stream, long offset, int whence)
int	fseeko (FILE *stream, off_t offset, int whence)
long	ftell (FILE *stream)
void	rewind (FILE *stream)
size_t	fwrite (const void *ptr, size_t size, size_t nitems, FILE *stream)
int	fputs_unlocked (const char *s, FILE *stream)
FILE *	fmemopen (void *buf, size_t size, const char *mode)
size_t	__fpending (FILE *stream)
int	ferror_unlocked (FILE *stream)
int	fputc (int c, FILE *stream)
int	__freading (FILE *stream)
off_t	lseek (int fd, off_t offset, int whence)
int	open (const char *pathname, int flags,...)
ssize_t	write (int fd, const void *buf, size_t count)
int	close (int fd)
int *	__errno_location (void)
int	pipe (int pipefd[2])

Variables
static size_t	__esbmc_buffer_pending = 0
static int	__esbmc_error_state = 0
static int	__esbmc_stream_mode = 0
static int	__esbmc_currently_reading = 0
static int	__esbmc_errno = 0
static int	__esbmc_pipe_fds [2] = {-1, -1}

Function Documentation

__errno_location()

int * __errno_location

(

void

)

__ESBMC_sv_comp()

_Bool __ESBMC_sv_comp

(

void

)

__fpending()

size_t __fpending

(

FILE *

stream

)

__freading()

int __freading

(

FILE *

stream

)

close()

int close

(

int

fd

)

fclose()

int fclose

(

FILE *

stream

)

fdopen()

FILE * fdopen	(	int	handle,
		const char *	m )

feof()

int feof

(

FILE *

stream

)

ferror()

int ferror

(

FILE *

stream

)

ferror_unlocked()

int ferror_unlocked

(

FILE *

stream

)

fflush()

int fflush

(

FILE *

stream

)

fgetc()

int fgetc

(

FILE *

stream

)

fgets()

char * fgets	(	char *	str,
		int	size,
		FILE *	stream )

fileno()

int fileno

(

FILE *

stream

)

fmemopen()

FILE * fmemopen	(	void *	buf,
		size_t	size,
		const char *	mode )

fopen()

FILE * fopen	(	const char *	filename,
		const char *	m )

fpurge()

int fpurge

(

FILE *

stream

)

fputc()

int fputc	(	int	c,
		FILE *	stream )

fputs()

int fputs	(	const char *	s,
		FILE *	stream )

fputs_unlocked()

int fputs_unlocked	(	const char *	s,
		FILE *	stream )

fread()

size_t fread	(	void *	ptr,
		size_t	size,
		size_t	nitems,
		FILE *	stream )

fseek()

int fseek	(	FILE *	stream,
		long	offset,
		int	whence )

fseeko()

int fseeko	(	FILE *	stream,
		off_t	offset,
		int	whence )

ftell()

long ftell

(

FILE *

stream

)

fwrite()

size_t fwrite	(	const void *	ptr,
		size_t	size,
		size_t	nitems,
		FILE *	stream )

getc()

int getc

(

FILE *

stream

)

getchar()

int getchar

(

void

)

getline()

ssize_t getline	(	char **	lineptr,
		size_t *	n,
		FILE *	stream )

gets()

char * gets

(

char *

str

)

getw()

int getw

(

FILE *

stream

)

lseek()

off_t lseek	(	int	fd,
		off_t	offset,
		int	whence )

open()

int open	(	const char *	pathname,
		int	flags,
			... )

pipe()

int pipe

(

int

pipefd[2]

)

putchar()

int putchar

(

int

c

)

puts()

int puts

(

const char *

s

)

read()

ssize_t read	(	int	fildes,
		void *	buf,
		size_t	nbyte )

rewind()

void rewind

(

FILE *

stream

)

write()

ssize_t write	(	int	fd,
		const void *	buf,
		size_t	count )

Variable Documentation

__esbmc_buffer_pending

size_t __esbmc_buffer_pending = 0

static

__esbmc_currently_reading

int __esbmc_currently_reading = 0

static

__esbmc_errno

int __esbmc_errno = 0

static

__esbmc_error_state

int __esbmc_error_state = 0

static

__esbmc_pipe_fds

int __esbmc_pipe_fds[2] = {-1, -1}

static

__esbmc_stream_mode

int __esbmc_stream_mode = 0

static