3 #ifndef __CPROVER_FCNTL_H_INCLUDED
5 #define __CPROVER_FCNTL_H_INCLUDED
8 #ifndef __CPROVER_ERRNO_H_INCLUDED
10 # define __CPROVER_ERRNO_H_INCLUDED
59 #ifndef __CPROVER_FCNTL_H_INCLUDED
61 # define __CPROVER_FCNTL_H_INCLUDED
80 int open(
const char *pathname,
int flags, ...)
89 int _open(
const char *pathname,
int flags, ...)
98 int open64(
const char *pathname,
int flags, ...)
105 #ifndef __CPROVER_FCNTL_H_INCLUDED
107 # define __CPROVER_FCNTL_H_INCLUDED
114 # define MODE_T mode_t
132 #ifndef __CPROVER_FCNTL_H_INCLUDED
134 # define __CPROVER_FCNTL_H_INCLUDED
141 # define MODE_T mode_t
154 #ifndef __CPROVER_FCNTL_H_INCLUDED
156 # define __CPROVER_FCNTL_H_INCLUDED
163 # define MODE_T mode_t
176 #ifndef __CPROVER_FCNTL_H_INCLUDED
178 # define __CPROVER_FCNTL_H_INCLUDED
185 # define MODE_T mode_t
198 #ifndef __CPROVER_FCNTL_H_INCLUDED
200 # define __CPROVER_FCNTL_H_INCLUDED
203 #ifndef __CPROVER_ERRNO_H_INCLUDED
205 # define __CPROVER_ERRNO_H_INCLUDED
231 int openat(
int dirfd,
const char *pathname,
int flags, ...)
240 int _openat(
int dirfd,
const char *pathname,
int flags, ...)
249 int openat64(
int dirfd,
const char *pathname,
int flags, ...)
int __VERIFIER_nondet_int(void)
int open(const char *pathname, int flags,...)
int creat(const char *pathname, mode_t mode)
int _open(const char *pathname, int flags,...)
int openat(int dirfd, const char *pathname, int flags,...)
int __CPROVER_creat(const char *pathname, mode_t mode)
int _creat(const char *pathname, mode_t mode)
int openat64(int dirfd, const char *pathname, int flags,...)
int open64(const char *pathname, int flags,...)
int fcntl64(int fd, int cmd,...)
int _fcntl(int fd, int cmd,...)
int __CPROVER_open(const char *pathname, int flags)
int __CPROVER_fcntl(int fd, int cmd)
int fcntl(int fd, int cmd,...)
int _openat(int dirfd, const char *pathname, int flags,...)
int creat64(const char *pathname, mode_t mode)
int __CPROVER_openat(int dirfd, const char *pathname, int flags)