mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-26 20:56:07 +00:00
80a21ea800
Function declarations are moved into common header that can be reused to avoid repetitions in different test files. Some small problems in the tests were found and fixed. Reviewed By: steakhal Differential Revision: https://reviews.llvm.org/D149158
136 lines
10 KiB
C
136 lines
10 KiB
C
// RUN: %clang_analyze_cc1 %s \
|
|
// RUN: -analyzer-checker=core \
|
|
// RUN: -analyzer-checker=apiModeling.StdCLibraryFunctions \
|
|
// RUN: -analyzer-config apiModeling.StdCLibraryFunctions:ModelPOSIX=true \
|
|
// RUN: -analyzer-config apiModeling.StdCLibraryFunctions:DisplayLoadedSummaries=true \
|
|
// RUN: -analyzer-checker=debug.ExprInspection \
|
|
// RUN: -analyzer-config eagerly-assume=false \
|
|
// RUN: -triple i686-unknown-linux 2>&1 | FileCheck %s
|
|
|
|
// CHECK: Loaded summary for: FILE *fopen(const char *restrict pathname, const char *restrict mode)
|
|
// CHECK: Loaded summary for: FILE *tmpfile(void)
|
|
// CHECK: Loaded summary for: FILE *freopen(const char *restrict pathname, const char *restrict mode, FILE *restrict stream)
|
|
// CHECK: Loaded summary for: int fclose(FILE *stream)
|
|
// CHECK: Loaded summary for: int fseek(FILE *stream, long offset, int whence)
|
|
// CHECK: Loaded summary for: int fileno(FILE *stream)
|
|
// CHECK: Loaded summary for: long a64l(const char *str64)
|
|
// CHECK: Loaded summary for: char *l64a(long value)
|
|
// CHECK: Loaded summary for: int access(const char *pathname, int amode)
|
|
// CHECK: Loaded summary for: int faccessat(int dirfd, const char *pathname, int mode, int flags)
|
|
// CHECK: Loaded summary for: int dup(int fildes)
|
|
// CHECK: Loaded summary for: int dup2(int fildes1, int filedes2)
|
|
// CHECK: Loaded summary for: int fdatasync(int fildes)
|
|
// CHECK: Loaded summary for: int fnmatch(const char *pattern, const char *string, int flags)
|
|
// CHECK: Loaded summary for: int fsync(int fildes)
|
|
// CHECK: Loaded summary for: int truncate(const char *path, off_t length)
|
|
// CHECK: Loaded summary for: int symlink(const char *oldpath, const char *newpath)
|
|
// CHECK: Loaded summary for: int symlinkat(const char *oldpath, int newdirfd, const char *newpath)
|
|
// CHECK: Loaded summary for: int lockf(int fd, int cmd, off_t len)
|
|
// CHECK: Loaded summary for: int creat(const char *pathname, mode_t mode)
|
|
// CHECK: Loaded summary for: unsigned int sleep(unsigned int seconds)
|
|
// CHECK: Loaded summary for: int dirfd(DIR *dirp)
|
|
// CHECK: Loaded summary for: unsigned int alarm(unsigned int seconds)
|
|
// CHECK: Loaded summary for: int closedir(DIR *dir)
|
|
// CHECK: Loaded summary for: char *strdup(const char *s)
|
|
// CHECK: Loaded summary for: char *strndup(const char *s, size_t n)
|
|
// CHECK: Loaded summary for: int mkstemp(char *template)
|
|
// CHECK: Loaded summary for: char *mkdtemp(char *template)
|
|
// CHECK: Loaded summary for: char *getcwd(char *buf, size_t size)
|
|
// CHECK: Loaded summary for: int mkdir(const char *pathname, mode_t mode)
|
|
// CHECK: Loaded summary for: int mkdirat(int dirfd, const char *pathname, mode_t mode)
|
|
// CHECK: Loaded summary for: int mknod(const char *pathname, mode_t mode, dev_t dev)
|
|
// CHECK: Loaded summary for: int mknodat(int dirfd, const char *pathname, mode_t mode, dev_t dev)
|
|
// CHECK: Loaded summary for: int chmod(const char *path, mode_t mode)
|
|
// CHECK: Loaded summary for: int fchmodat(int dirfd, const char *pathname, mode_t mode, int flags)
|
|
// CHECK: Loaded summary for: int fchmod(int fildes, mode_t mode)
|
|
// CHECK: Loaded summary for: int fchownat(int dirfd, const char *pathname, uid_t owner, gid_t group, int flags)
|
|
// CHECK: Loaded summary for: int chown(const char *path, uid_t owner, gid_t group)
|
|
// CHECK: Loaded summary for: int lchown(const char *path, uid_t owner, gid_t group)
|
|
// CHECK: Loaded summary for: int fchown(int fildes, uid_t owner, gid_t group)
|
|
// CHECK: Loaded summary for: int rmdir(const char *pathname)
|
|
// CHECK: Loaded summary for: int chdir(const char *path)
|
|
// CHECK: Loaded summary for: int link(const char *oldpath, const char *newpath)
|
|
// CHECK: Loaded summary for: int linkat(int fd1, const char *path1, int fd2, const char *path2, int flag)
|
|
// CHECK: Loaded summary for: int unlink(const char *pathname)
|
|
// CHECK: Loaded summary for: int unlinkat(int fd, const char *path, int flag)
|
|
// CHECK: Loaded summary for: int fstat(int fd, struct stat *statbuf)
|
|
// CHECK: Loaded summary for: int stat(const char *restrict path, struct stat *restrict buf)
|
|
// CHECK: Loaded summary for: int lstat(const char *restrict path, struct stat *restrict buf)
|
|
// CHECK: Loaded summary for: int fstatat(int fd, const char *restrict path, struct stat *restrict buf, int flag)
|
|
// CHECK: Loaded summary for: DIR *opendir(const char *name)
|
|
// CHECK: Loaded summary for: DIR *fdopendir(int fd)
|
|
// CHECK: Loaded summary for: int isatty(int fildes)
|
|
// CHECK: Loaded summary for: FILE *popen(const char *command, const char *type)
|
|
// CHECK: Loaded summary for: int pclose(FILE *stream)
|
|
// CHECK: Loaded summary for: int close(int fildes)
|
|
// CHECK: Loaded summary for: long fpathconf(int fildes, int name)
|
|
// CHECK: Loaded summary for: long pathconf(const char *path, int name)
|
|
// CHECK: Loaded summary for: FILE *fdopen(int fd, const char *mode)
|
|
// CHECK: Loaded summary for: void rewinddir(DIR *dir)
|
|
// CHECK: Loaded summary for: void seekdir(DIR *dirp, long loc)
|
|
// CHECK: Loaded summary for: int rand_r(unsigned int *seedp)
|
|
// CHECK: Loaded summary for: int fseeko(FILE *stream, off_t offset, int whence)
|
|
// CHECK: Loaded summary for: off_t ftello(FILE *stream)
|
|
// CHECK: Loaded summary for: void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset)
|
|
// CHECK: Loaded summary for: void *mmap64(void *addr, size_t length, int prot, int flags, int fd, off64_t offset)
|
|
// CHECK: Loaded summary for: int pipe(int fildes[2])
|
|
// CHECK: Loaded summary for: off_t lseek(int fildes, off_t offset, int whence)
|
|
// CHECK: Loaded summary for: ssize_t readlink(const char *restrict path, char *restrict buf, size_t bufsize)
|
|
// CHECK: Loaded summary for: ssize_t readlinkat(int fd, const char *restrict path, char *restrict buf, size_t bufsize)
|
|
// CHECK: Loaded summary for: int renameat(int olddirfd, const char *oldpath, int newdirfd, const char *newpath)
|
|
// CHECK: Loaded summary for: char *realpath(const char *restrict file_name, char *restrict resolved_name)
|
|
// CHECK: Loaded summary for: int execv(const char *path, char *const argv[])
|
|
// CHECK: Loaded summary for: int execvp(const char *file, char *const argv[])
|
|
// CHECK: Loaded summary for: int getopt(int argc, char *const argv[], const char *optstring)
|
|
// CHECK: Loaded summary for: int accept(int socket, __SOCKADDR_ARG address, socklen_t *restrict address_len)
|
|
// CHECK: Loaded summary for: int bind(int socket, __CONST_SOCKADDR_ARG address, socklen_t address_len)
|
|
// CHECK: Loaded summary for: int getpeername(int socket, __SOCKADDR_ARG address, socklen_t *restrict address_len)
|
|
// CHECK: Loaded summary for: int getsockname(int socket, __SOCKADDR_ARG address, socklen_t *restrict address_len)
|
|
// CHECK: Loaded summary for: int connect(int socket, __CONST_SOCKADDR_ARG address, socklen_t address_len)
|
|
// CHECK: Loaded summary for: ssize_t recvfrom(int socket, void *restrict buffer, size_t length, int flags, __SOCKADDR_ARG address, socklen_t *restrict address_len)
|
|
// CHECK: Loaded summary for: ssize_t sendto(int socket, const void *message, size_t length, int flags, __CONST_SOCKADDR_ARG dest_addr, socklen_t dest_len)
|
|
// CHECK: Loaded summary for: int listen(int sockfd, int backlog)
|
|
// CHECK: Loaded summary for: ssize_t recv(int sockfd, void *buf, size_t len, int flags)
|
|
// CHECK: Loaded summary for: ssize_t recvmsg(int sockfd, struct msghdr *msg, int flags)
|
|
// CHECK: Loaded summary for: ssize_t sendmsg(int sockfd, const struct msghdr *msg, int flags)
|
|
// CHECK: Loaded summary for: int setsockopt(int socket, int level, int option_name, const void *option_value, socklen_t option_len)
|
|
// CHECK: Loaded summary for: int getsockopt(int socket, int level, int option_name, void *restrict option_value, socklen_t *restrict option_len)
|
|
// CHECK: Loaded summary for: ssize_t send(int sockfd, const void *buf, size_t len, int flags)
|
|
// CHECK: Loaded summary for: int socketpair(int domain, int type, int protocol, int sv[2])
|
|
// CHECK: Loaded summary for: int getnameinfo(const struct sockaddr *restrict sa, socklen_t salen, char *restrict node, socklen_t nodelen, char *restrict service, socklen_t servicelen, int flags)
|
|
// CHECK: Loaded summary for: int utime(const char *filename, struct utimbuf *buf)
|
|
// CHECK: Loaded summary for: int futimens(int fd, const struct timespec times[2])
|
|
// CHECK: Loaded summary for: int utimensat(int dirfd, const char *pathname, const struct timespec times[2], int flags)
|
|
// CHECK: Loaded summary for: int utimes(const char *filename, const struct timeval times[2])
|
|
// CHECK: Loaded summary for: int nanosleep(const struct timespec *rqtp, struct timespec *rmtp)
|
|
// CHECK: Loaded summary for: struct tm *localtime(const time_t *tp)
|
|
// CHECK: Loaded summary for: struct tm *localtime_r(const time_t *restrict timer, struct tm *restrict result)
|
|
// CHECK: Loaded summary for: char *asctime_r(const struct tm *restrict tm, char *restrict buf)
|
|
// CHECK: Loaded summary for: char *ctime_r(const time_t *timep, char *buf)
|
|
// CHECK: Loaded summary for: struct tm *gmtime_r(const time_t *restrict timer, struct tm *restrict result)
|
|
// CHECK: Loaded summary for: struct tm *gmtime(const time_t *tp)
|
|
// CHECK: Loaded summary for: int clock_gettime(clockid_t clock_id, struct timespec *tp)
|
|
// CHECK: Loaded summary for: int getitimer(int which, struct itimerval *curr_value)
|
|
// CHECK: Loaded summary for: int pthread_cond_signal(pthread_cond_t *cond)
|
|
// CHECK: Loaded summary for: int pthread_cond_broadcast(pthread_cond_t *cond)
|
|
// CHECK: Loaded summary for: int pthread_create(pthread_t *restrict thread, const pthread_attr_t *restrict attr, void *(*start_routine)(void *), void *restrict arg)
|
|
// CHECK: Loaded summary for: int pthread_attr_destroy(pthread_attr_t *attr)
|
|
// CHECK: Loaded summary for: int pthread_attr_init(pthread_attr_t *attr)
|
|
// CHECK: Loaded summary for: int pthread_attr_getstacksize(const pthread_attr_t *restrict attr, size_t *restrict stacksize)
|
|
// CHECK: Loaded summary for: int pthread_attr_getguardsize(const pthread_attr_t *restrict attr, size_t *restrict guardsize)
|
|
// CHECK: Loaded summary for: int pthread_attr_setstacksize(pthread_attr_t *attr, size_t stacksize)
|
|
// CHECK: Loaded summary for: int pthread_attr_setguardsize(pthread_attr_t *attr, size_t guardsize)
|
|
// CHECK: Loaded summary for: int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr)
|
|
// CHECK: Loaded summary for: int pthread_mutex_destroy(pthread_mutex_t *mutex)
|
|
// CHECK: Loaded summary for: int pthread_mutex_lock(pthread_mutex_t *mutex)
|
|
// CHECK: Loaded summary for: int pthread_mutex_trylock(pthread_mutex_t *mutex)
|
|
// CHECK: Loaded summary for: int pthread_mutex_unlock(pthread_mutex_t *mutex)
|
|
|
|
#include "Inputs/std-c-library-functions-POSIX.h"
|
|
|
|
// Must have at least one call expression to initialize the summary map.
|
|
int bar(void);
|
|
void foo(void) {
|
|
bar();
|
|
}
|