replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

cleanout struct __CPROVER_pipet 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4076 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-06-15 18:31:20 +00:00
parent ff6f6eef4f
commit 280dc5ec96
1 changed files with 0 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
src/ansi-c-with-declarators/library/unistd.c
View File

@ -30,15 +30,6 @@ int unlink(const char *s)
#define __CPROVER_ERRNO_H_INCLUDED
#endif
#ifndef __CPROVER_pipet_declared
struct __CPROVER_pipet {
_Bool widowed;
char data[4];
short next_avail;
short next_unread;
};
#define __CPROVER_pipet_declared
#endif
extern struct __CPROVER_pipet __CPROVER_pipes[];
// offset to make sure we don't collide with other fds
extern const int __CPROVER_pipe_offset;
@ -82,15 +73,6 @@ int pipe(int fildes[2])
#endif
#endif
#ifndef __CPROVER_pipet_declared
struct __CPROVER_pipet {
_Bool widowed;
char data[4];
short next_avail;
short next_unread;
};
#define __CPROVER_pipet_declared
#endif
extern struct __CPROVER_pipet __CPROVER_pipes[];
// offset to make sure we don't collide with other fds
extern const int __CPROVER_pipe_offset;
@ -127,15 +109,6 @@ int close(int fildes)
#endif
#endif
#ifndef __CPROVER_pipet_declared
struct __CPROVER_pipet {
_Bool widowed;
char data[4];
short next_avail;
short next_unread;
};
#define __CPROVER_pipet_declared
#endif
extern struct __CPROVER_pipet __CPROVER_pipes[];
// offset to make sure we don't collide with other fds
extern const int __CPROVER_pipe_offset;
@ -184,15 +157,6 @@ ssize_t write(int fildes, const void *buf, size_t nbyte)
#endif
#endif
#ifndef __CPROVER_pipet_declared
struct __CPROVER_pipet {
_Bool widowed;
char data[4];
short next_avail;
short next_unread;
};
#define __CPROVER_pipet_declared
#endif
extern struct __CPROVER_pipet __CPROVER_pipes[];
// offset to make sure we don't collide with other fds
extern const int __CPROVER_pipe_offset;